1212
0 true
1 ( >= BC_width 0.0 )
2 ( >= BC_hight 0.0 )
3 ( <= BC_width 4000.0 )
4 ( <= BC_x 0.0 )
5 ( >= BC_x 0.0 )
6 ( <= BC_y 0.0 )
7 ( >= BC_y 0.0 )
8 BC_feasible
9 ( >= back_ground_width 0.0 )
10 ( >= back_ground_hight 0.0 )
11 ( >= title_x 0.0 )
12 ( >= title_width 0.0 )
13 ( >= title_hight 0.0 )
14 ( >= ads_x 0.0 )
15 ( >= ads_width 0.0 )
16 ( >= ads_hight 0.0 )
17 ( >= mainbody_x 0.0 )
18 ( >= mainbody_width 0.0 )
19 ( >= mainbody_hight 0.0 )
20 ( >= info_x 0.0 )
21 ( >= info_width 0.0 )
22 ( >= title_y 0.0 )
23 ( <= ( + title_hight ( * -1.0 back_ground_hight ) ) 0.0 )
24 ( >= ads_y 0.0 )
25 ( <= ( + ads_y ads_hight ( * -1.0 back_ground_hight ) ) 0.0 )
26 ( >= mainbody_y 0.0 )
27 ( <= ( + mainbody_hight mainbody_y ( * -1.0 back_ground_hight ) ) 0.0 )
28 ( >= info_y 0.0 )
29 ( <= ( + info_y ( * -1.0 back_ground_hight ) ) -50.0 )
30 ( <= ( + ads_y ( * -1.0 title_y ) ( * -1.0 title_hight ) ) 0.0 )
31 ( >= ( + ads_y ( * -1.0 title_y ) ( * -1.0 title_hight ) ) 0.0 )
32 ( <= ( + mainbody_y ( * -1.0 ads_y ) ( * -1.0 ads_hight ) ) 0.0 )
33 ( >= ( + mainbody_y ( * -1.0 ads_y ) ( * -1.0 ads_hight ) ) 0.0 )
34 ( <= ( + info_y ( * -1.0 mainbody_hight ) ( * -1.0 mainbody_y ) ) 0.0 )
35 ( >= ( + info_y ( * -1.0 mainbody_hight ) ( * -1.0 mainbody_y ) ) 0.0 )
36 ( <= ( + title_x ( * -1.0 back_ground_x ) ) 0.0 )
37 ( >= ( + title_x ( * -1.0 back_ground_x ) ) 0.0 )
38 ( <= ( + ads_x ( * -1.0 back_ground_x ) ) 0.0 )
39 ( >= ( + ads_x ( * -1.0 back_ground_x ) ) 0.0 )
40 ( <= ( + mainbody_x ( * -1.0 back_ground_x ) ) 0.0 )
41 ( >= ( + mainbody_x ( * -1.0 back_ground_x ) ) 0.0 )
42 ( <= ( + info_x ( * -1.0 back_ground_x ) ) 0.0 )
43 ( >= ( + info_x ( * -1.0 back_ground_x ) ) 0.0 )
44 ( <= ( + title_x title_width ( * -1.0 back_ground_x ) ( * -1.0 back_ground_width ) ) 0.0 )
45 ( >= ( + title_x title_width ( * -1.0 back_ground_x ) ( * -1.0 back_ground_width ) ) 0.0 )
46 ( <= ( + ads_x ads_width ( * -1.0 back_ground_x ) ( * -1.0 back_ground_width ) ) 0.0 )
47 ( >= ( + ads_x ads_width ( * -1.0 back_ground_x ) ( * -1.0 back_ground_width ) ) 0.0 )
48 ( <= ( + mainbody_x mainbody_width ( * -1.0 back_ground_x ) ( * -1.0 back_ground_width ) ) 0.0 )
49 ( >= ( + mainbody_x mainbody_width ( * -1.0 back_ground_x ) ( * -1.0 back_ground_width ) ) 0.0 )
50 ( <= ( + info_x info_width ( * -1.0 back_ground_x ) ( * -1.0 back_ground_width ) ) 0.0 )
51 ( >= ( + info_x info_width ( * -1.0 back_ground_x ) ( * -1.0 back_ground_width ) ) 0.0 )
52 ( <= title_y 0.0 )
53 ( >= ( + info_y ( * -1.0 back_ground_hight ) ) -50.0 )
54 ( <= back_ground_x 0.0 )
55 ( >= back_ground_x 0.0 )
56 ( <= ( + BC_width ( * -1.0 back_ground_x ) ( * -1.0 back_ground_width ) ) 0.0 )
57 ( >= ( + BC_width ( * -1.0 back_ground_x ) ( * -1.0 back_ground_width ) ) 0.0 )
58 ( <= back_ground_y 0.0 )
59 ( >= back_ground_y 0.0 )
60 ( >= search_x 0.0 )
61 ( >= search_y 0.0 )
62 ( >= search_width 0.0 )
63 ( >= buttons_x 0.0 )
64 ( >= buttons_y 0.0 )
65 ( >= buttons_width 0.0 )
66 ( <= ( + search_y ( * -1.0 title_y ) ( * -1.0 title_hight ) ) -70.0 )
67 ( >= ( + buttons_y ( * -1.0 title_y ) ) 0.0 )
68 ( <= ( + buttons_y ( * -1.0 title_y ) ( * -1.0 title_hight ) ) -50.0 )
69 ( >= ( + buttons_y ( * -1.0 search_y ) ) 70.0 )
70 ( <= ( + search_x ( * -1.0 title_x ) ) 0.0 )
71 ( >= ( + search_x ( * -1.0 title_x ) ) 0.0 )
72 ( <= ( + buttons_x ( * -1.0 title_x ) ) 0.0 )
73 ( >= ( + buttons_x ( * -1.0 title_x ) ) 0.0 )
74 ( <= ( + search_width search_x ( * -1.0 title_x ) ( * -1.0 title_width ) ) 0.0 )
75 ( >= ( + search_width search_x ( * -1.0 title_x ) ( * -1.0 title_width ) ) 0.0 )
76 ( <= ( + buttons_width buttons_x ( * -1.0 title_x ) ( * -1.0 title_width ) ) 0.0 )
77 ( >= ( + buttons_width buttons_x ( * -1.0 title_x ) ( * -1.0 title_width ) ) 0.0 )
78 ( <= ( + search_y ( * -1.0 title_y ) ) 0.0 )
79 ( >= ( + search_y ( * -1.0 title_y ) ) 0.0 )
80 ( >= ( + buttons_y ( * -1.0 title_y ) ( * -1.0 title_hight ) ) -50.0 )
81 ( >= search_kid_0_x 0.0 )
82 ( >= search_kid_0_y 0.0 )
83 ( >= search_kid_0_hight 0.0 )
84 ( >= search_kid_1_x 0.0 )
85 ( >= search_kid_1_y 0.0 )
86 ( >= search_kid_1_hight 0.0 )
87 ( >= search_bar_x 0.0 )
88 ( >= search_bar_y 0.0 )
89 ( >= search_bar_width 0.0 )
90 ( >= search_bar_hight 0.0 )
91 ( >= search_kid_3_x 0.0 )
92 ( >= search_kid_3_y 0.0 )
93 ( >= search_kid_3_hight 0.0 )
94 ( >= search_kid_4_x 0.0 )
95 ( >= search_kid_4_y 0.0 )
96 ( >= search_kid_4_hight 0.0 )
97 ( >= search_kid_5_x 0.0 )
98 ( >= search_kid_5_y 0.0 )
99 ( >= search_kid_5_hight 0.0 )
100 ( >= search_kid_6_x 0.0 )
101 ( >= search_kid_6_y 0.0 )
102 ( >= search_kid_6_hight 0.0 )
103 ( <= ( + search_kid_0_x ( * -1.0 search_x ) ) 10.0 )
104 ( >= ( + search_kid_0_x ( * -1.0 search_x ) ) 10.0 )
105 ( <= ( + search_kid_6_x ( * -1.0 search_width ) ( * -1.0 search_x ) ) -90.0 )
106 ( >= ( + search_kid_6_x ( * -1.0 search_width ) ( * -1.0 search_x ) ) -90.0 )
107 ( <= ( + search_y ( * -1.0 search_kid_0_y ) ) -10.0 )
108 ( >= ( + search_y ( * -1.0 search_kid_0_y ) ) -10.0 )
109 ( <= ( + search_y ( * -1.0 search_kid_1_y ) ) -10.0 )
110 ( >= ( + search_y ( * -1.0 search_kid_1_y ) ) -10.0 )
111 ( <= ( + search_bar_y ( * -1.0 search_y ) ) 10.0 )
112 ( >= ( + search_bar_y ( * -1.0 search_y ) ) 10.0 )
113 ( <= ( + search_y ( * -1.0 search_kid_3_y ) ) -10.0 )
114 ( >= ( + search_y ( * -1.0 search_kid_3_y ) ) -10.0 )
115 ( <= ( + search_y ( * -1.0 search_kid_4_y ) ) -10.0 )
116 ( >= ( + search_y ( * -1.0 search_kid_4_y ) ) -10.0 )
117 ( <= ( + search_y ( * -1.0 search_kid_5_y ) ) -10.0 )
118 ( >= ( + search_y ( * -1.0 search_kid_5_y ) ) -10.0 )
119 ( <= ( + search_y ( * -1.0 search_kid_6_y ) ) -10.0 )
120 ( >= ( + search_y ( * -1.0 search_kid_6_y ) ) -10.0 )
121 ( <= ( + search_y ( * -1.0 search_kid_0_y ) ( * -1.0 search_kid_0_hight ) ) -60.0 )
122 ( >= ( + search_y ( * -1.0 search_kid_0_y ) ( * -1.0 search_kid_0_hight ) ) -60.0 )
123 ( <= ( + search_y ( * -1.0 search_kid_1_y ) ( * -1.0 search_kid_1_hight ) ) -60.0 )
124 ( >= ( + search_y ( * -1.0 search_kid_1_y ) ( * -1.0 search_kid_1_hight ) ) -60.0 )
125 ( <= ( + search_bar_hight search_bar_y ( * -1.0 search_y ) ) 60.0 )
126 ( >= ( + search_bar_hight search_bar_y ( * -1.0 search_y ) ) 60.0 )
127 ( <= ( + search_y ( * -1.0 search_kid_3_hight ) ( * -1.0 search_kid_3_y ) ) -60.0 )
128 ( >= ( + search_y ( * -1.0 search_kid_3_hight ) ( * -1.0 search_kid_3_y ) ) -60.0 )
129 ( <= ( + search_y ( * -1.0 search_kid_4_y ) ( * -1.0 search_kid_4_hight ) ) -60.0 )
130 ( >= ( + search_y ( * -1.0 search_kid_4_y ) ( * -1.0 search_kid_4_hight ) ) -60.0 )
131 ( <= ( + search_y ( * -1.0 search_kid_5_y ) ( * -1.0 search_kid_5_hight ) ) -60.0 )
132 ( >= ( + search_y ( * -1.0 search_kid_5_y ) ( * -1.0 search_kid_5_hight ) ) -60.0 )
133 ( <= ( + search_y ( * -1.0 search_kid_6_y ) ( * -1.0 search_kid_6_hight ) ) -60.0 )
134 ( >= ( + search_y ( * -1.0 search_kid_6_y ) ( * -1.0 search_kid_6_hight ) ) -60.0 )
135 ( <= ( + search_kid_0_x ( * -1.0 search_width ) ( * -1.0 search_x ) ) -90.0 )
136 ( >= ( + search_kid_1_x ( * -1.0 search_x ) ) 10.0 )
137 ( <= ( + search_kid_1_x ( * -1.0 search_width ) ( * -1.0 search_x ) ) -90.0 )
138 ( >= ( + search_bar_x ( * -1.0 search_x ) ) 10.0 )
139 ( <= ( + search_bar_x search_bar_width ( * -1.0 search_width ) ( * -1.0 search_x ) ) -10.0 )
140 ( >= ( + search_kid_3_x ( * -1.0 search_x ) ) 10.0 )
141 ( <= ( + search_kid_3_x ( * -1.0 search_width ) ( * -1.0 search_x ) ) -90.0 )
142 ( >= ( + search_kid_4_x ( * -1.0 search_x ) ) 10.0 )
143 ( <= ( + search_kid_4_x ( * -1.0 search_width ) ( * -1.0 search_x ) ) -60.0 )
144 ( >= ( + search_kid_5_x ( * -1.0 search_x ) ) 10.0 )
145 ( <= ( + search_kid_5_x ( * -1.0 search_width ) ( * -1.0 search_x ) ) -90.0 )
146 ( >= ( + search_kid_6_x ( * -1.0 search_x ) ) 10.0 )
147 ( >= ( + search_kid_1_x ( * -1.0 search_kid_0_x ) ) 80.0 )
148 ( >= ( + search_bar_x ( * -1.0 search_kid_1_x ) ) 80.0 )
149 ( >= ( + search_kid_4_x ( * -1.0 search_kid_3_x ) ) 80.0 )
150 ( >= ( + search_kid_5_x ( * -1.0 search_kid_4_x ) ) 50.0 )
151 ( <= ( + search_kid_5_x ( * -1.0 search_kid_6_x ) ) -80.0 )
152 ( <= ( + search_kid_1_x ( * -1.0 search_kid_0_x ) ) 90.0 )
153 ( >= ( + search_kid_1_x ( * -1.0 search_kid_0_x ) ) 90.0 )
154 ( <= ( + search_bar_x ( * -1.0 search_kid_1_x ) ) 90.0 )
155 ( >= ( + search_bar_x ( * -1.0 search_kid_1_x ) ) 90.0 )
156 ( <= ( + search_bar_x search_bar_width ( * -1.0 search_kid_3_x ) ) -10.0 )
157 ( >= ( + search_bar_x search_bar_width ( * -1.0 search_kid_3_x ) ) -10.0 )
158 ( <= ( + search_kid_4_x ( * -1.0 search_kid_3_x ) ) 90.0 )
159 ( >= ( + search_kid_4_x ( * -1.0 search_kid_3_x ) ) 90.0 )
160 ( <= ( + search_kid_5_x ( * -1.0 search_kid_4_x ) ) 60.0 )
161 ( >= ( + search_kid_5_x ( * -1.0 search_kid_4_x ) ) 60.0 )
162 ( <= ( + search_kid_5_x ( * -1.0 search_kid_6_x ) ) -90.0 )
163 ( >= ( + search_kid_5_x ( * -1.0 search_kid_6_x ) ) -90.0 )
164 ( <= search_hight 70.0 )
165 ( >= search_hight 70.0 )
166 ( <= search_kid_0_width 80.0 )
167 ( >= search_kid_0_width 80.0 )
168 ( <= search_kid_1_width 80.0 )
169 ( >= search_kid_1_width 80.0 )
170 ( <= search_kid_3_width 80.0 )
171 ( >= search_kid_3_width 80.0 )
172 ( <= search_kid_4_width 50.0 )
173 ( >= search_kid_4_width 50.0 )
174 ( <= search_kid_5_width 80.0 )
175 ( >= search_kid_5_width 80.0 )
176 ( <= search_kid_6_width 80.0 )
177 ( >= search_kid_6_width 80.0 )
178 ( >= search_bar_kid_0_x 0.0 )
179 ( >= search_bar_kid_0_y 0.0 )
180 ( >= search_bar_kid_0_width 0.0 )
181 ( >= search_bar_kid_0_hight 0.0 )
182 ( >= search_bar_kid_1_x 0.0 )
183 ( >= search_bar_kid_1_y 0.0 )
184 ( >= search_bar_kid_1_hight 0.0 )
185 ( <= ( + search_bar_kid_0_width ( * -1.0 search_bar_kid_1_x ) search_bar_kid_0_x ) 0.0 )
186 ( >= ( + search_bar_kid_0_width ( * -1.0 search_bar_kid_1_x ) search_bar_kid_0_x ) 0.0 )
187 ( <= ( + search_bar_x ( * -1.0 search_bar_kid_0_x ) ) 0.0 )
188 ( >= ( + search_bar_x ( * -1.0 search_bar_kid_0_x ) ) 0.0 )
189 ( <= ( + search_bar_x ( * -1.0 search_bar_kid_1_x ) search_bar_width ) 50.0 )
190 ( >= ( + search_bar_x ( * -1.0 search_bar_kid_1_x ) search_bar_width ) 50.0 )
191 ( <= ( + search_bar_y ( * -1.0 search_bar_kid_0_y ) ) 0.0 )
192 ( >= ( + search_bar_y ( * -1.0 search_bar_kid_0_y ) ) 0.0 )
193 ( <= ( + search_bar_kid_1_y ( * -1.0 search_bar_y ) ) 0.0 )
194 ( >= ( + search_bar_kid_1_y ( * -1.0 search_bar_y ) ) 0.0 )
195 ( <= ( + search_bar_hight search_bar_y ( * -1.0 search_bar_kid_0_y ) ( * -1.0 search_bar_kid_0_hight ) ) 0.0 )
196 ( >= ( + search_bar_hight search_bar_y ( * -1.0 search_bar_kid_0_y ) ( * -1.0 search_bar_kid_0_hight ) ) 0.0 )
197 ( <= ( + search_bar_kid_1_y ( * -1.0 search_bar_hight ) search_bar_kid_1_hight ( * -1.0 search_bar_y ) ) 0.0 )
198 ( >= ( + search_bar_kid_1_y ( * -1.0 search_bar_hight ) search_bar_kid_1_hight ( * -1.0 search_bar_y ) ) 0.0 )
199 ( <= search_bar_kid_1_width 50.0 )
200 ( >= search_bar_kid_1_width 50.0 )
201 ( >= search_bar_kid_0_width 50.0 )
202 ( >= buttons_kid_0_x 0.0 )
203 ( >= buttons_kid_0_y 0.0 )
204 ( >= buttons_kid_0_hight 0.0 )
205 ( >= buttons_kid_1_x 0.0 )
206 ( >= buttons_kid_1_y 0.0 )
207 ( >= buttons_kid_1_hight 0.0 )
208 ( >= buttons_kid_2_x 0.0 )
209 ( >= buttons_kid_2_y 0.0 )
210 ( >= buttons_kid_2_hight 0.0 )
211 ( >= buttons_kid_3_x 0.0 )
212 ( >= buttons_kid_3_y 0.0 )
213 ( >= buttons_kid_3_hight 0.0 )
214 ( >= buttons_kid_4_x 0.0 )
215 ( >= buttons_kid_4_y 0.0 )
216 ( >= buttons_kid_4_hight 0.0 )
217 ( >= buttons_kid_5_x 0.0 )
218 ( >= buttons_kid_5_y 0.0 )
219 ( >= buttons_kid_5_hight 0.0 )
220 ( >= buttons_kid_6_x 0.0 )
221 ( >= buttons_kid_6_y 0.0 )
222 ( >= buttons_kid_6_hight 0.0 )
223 ( >= buttons_kid_7_x 0.0 )
224 ( >= buttons_kid_7_y 0.0 )
225 ( >= buttons_kid_7_hight 0.0 )
226 ( >= buttons_kid_8_x 0.0 )
227 ( >= buttons_kid_8_y 0.0 )
228 ( >= buttons_kid_8_hight 0.0 )
229 ( >= buttons_kid_9_x 0.0 )
230 ( >= buttons_kid_9_y 0.0 )
231 ( >= buttons_kid_9_hight 0.0 )
232 ( >= buttons_kid_10_x 0.0 )
233 ( >= buttons_kid_10_y 0.0 )
234 ( >= buttons_kid_10_hight 0.0 )
235 ( >= buttons_kid_11_x 0.0 )
236 ( >= buttons_kid_11_y 0.0 )
237 ( >= buttons_kid_11_hight 0.0 )
238 ( >= buttons_kid_12_x 0.0 )
239 ( >= buttons_kid_12_y 0.0 )
240 ( >= buttons_kid_12_hight 0.0 )
241 ( >= buttons_kid_13_x 0.0 )
242 ( >= buttons_kid_13_y 0.0 )
243 ( >= buttons_kid_13_hight 0.0 )
244 ( >= buttons_kid_14_x 0.0 )
245 ( >= buttons_kid_14_y 0.0 )
246 ( >= buttons_kid_14_hight 0.0 )
247 ( >= buttons_kid_15_x 0.0 )
248 ( >= buttons_kid_15_y 0.0 )
249 ( >= buttons_kid_15_hight 0.0 )
250 ( >= buttons_kid_16_x 0.0 )
251 ( >= buttons_kid_16_y 0.0 )
252 ( >= buttons_kid_16_hight 0.0 )
253 ( <= buttons_kid_0_width 100.0 )
254 ( >= buttons_kid_0_width 100.0 )
255 ( <= buttons_kid_1_width 100.0 )
256 ( >= buttons_kid_1_width 100.0 )
257 ( <= buttons_kid_2_width 100.0 )
258 ( >= buttons_kid_2_width 100.0 )
259 ( <= buttons_kid_3_width 100.0 )
260 ( >= buttons_kid_3_width 100.0 )
261 ( <= buttons_kid_4_width 100.0 )
262 ( >= buttons_kid_4_width 100.0 )
263 ( <= buttons_kid_5_width 100.0 )
264 ( >= buttons_kid_5_width 100.0 )
265 ( <= buttons_kid_6_width 100.0 )
266 ( >= buttons_kid_6_width 100.0 )
267 ( <= buttons_kid_7_width 100.0 )
268 ( >= buttons_kid_7_width 100.0 )
269 ( <= buttons_kid_8_width 100.0 )
270 ( >= buttons_kid_8_width 100.0 )
271 ( <= buttons_kid_9_width 100.0 )
272 ( >= buttons_kid_9_width 100.0 )
273 ( <= buttons_kid_10_width 100.0 )
274 ( >= buttons_kid_10_width 100.0 )
275 ( <= buttons_kid_11_width 100.0 )
276 ( >= buttons_kid_11_width 100.0 )
277 ( <= buttons_kid_12_width 100.0 )
278 ( >= buttons_kid_12_width 100.0 )
279 ( <= buttons_kid_13_width 100.0 )
280 ( >= buttons_kid_13_width 100.0 )
281 ( <= buttons_kid_14_width 100.0 )
282 ( >= buttons_kid_14_width 100.0 )
283 ( <= buttons_kid_15_width 100.0 )
284 ( >= buttons_kid_15_width 100.0 )
285 ( <= buttons_kid_16_width 100.0 )
286 ( >= buttons_kid_16_width 100.0 )
287 ( <= buttons_hight 50.0 )
288 ( >= buttons_hight 50.0 )
289 ( <= ( + buttons_x ( * -1.0 buttons_kid_0_x ) ) -10.0 )
290 ( >= ( + buttons_x ( * -1.0 buttons_kid_0_x ) ) -10.0 )
291 ( <= ( + buttons_y ( * -1.0 buttons_kid_0_y ) ) -10.0 )
292 ( >= ( + buttons_y ( * -1.0 buttons_kid_0_y ) ) -10.0 )
293 ( <= ( + buttons_y ( * -1.0 buttons_kid_0_hight ) ( * -1.0 buttons_kid_0_y ) ) -40.0 )
294 ( >= ( + buttons_y ( * -1.0 buttons_kid_0_hight ) ( * -1.0 buttons_kid_0_y ) ) -40.0 )
295 ( <= ( + buttons_y ( * -1.0 buttons_kid_1_y ) ( * -1.0 buttons_kid_1_hight ) ) -40.0 )
296 ( >= ( + buttons_y ( * -1.0 buttons_kid_1_y ) ( * -1.0 buttons_kid_1_hight ) ) -40.0 )
297 ( <= ( + buttons_y ( * -1.0 buttons_kid_1_y ) ) -10.0 )
298 ( >= ( + buttons_y ( * -1.0 buttons_kid_1_y ) ) -10.0 )
299 ( <= ( + buttons_y ( * -1.0 buttons_kid_2_y ) ( * -1.0 buttons_kid_2_hight ) ) -40.0 )
300 ( >= ( + buttons_y ( * -1.0 buttons_kid_2_y ) ( * -1.0 buttons_kid_2_hight ) ) -40.0 )
301 ( <= ( + buttons_y ( * -1.0 buttons_kid_2_y ) ) -10.0 )
302 ( >= ( + buttons_y ( * -1.0 buttons_kid_2_y ) ) -10.0 )
303 ( <= ( + buttons_y ( * -1.0 buttons_kid_3_y ) ( * -1.0 buttons_kid_3_hight ) ) -40.0 )
304 ( >= ( + buttons_y ( * -1.0 buttons_kid_3_y ) ( * -1.0 buttons_kid_3_hight ) ) -40.0 )
305 ( <= ( + buttons_y ( * -1.0 buttons_kid_3_y ) ) -10.0 )
306 ( >= ( + buttons_y ( * -1.0 buttons_kid_3_y ) ) -10.0 )
307 ( <= ( + buttons_y ( * -1.0 buttons_kid_4_y ) ( * -1.0 buttons_kid_4_hight ) ) -40.0 )
308 ( >= ( + buttons_y ( * -1.0 buttons_kid_4_y ) ( * -1.0 buttons_kid_4_hight ) ) -40.0 )
309 ( <= ( + buttons_y ( * -1.0 buttons_kid_4_y ) ) -10.0 )
310 ( >= ( + buttons_y ( * -1.0 buttons_kid_4_y ) ) -10.0 )
311 ( <= ( + buttons_y ( * -1.0 buttons_kid_5_y ) ( * -1.0 buttons_kid_5_hight ) ) -40.0 )
312 ( >= ( + buttons_y ( * -1.0 buttons_kid_5_y ) ( * -1.0 buttons_kid_5_hight ) ) -40.0 )
313 ( <= ( + buttons_y ( * -1.0 buttons_kid_5_y ) ) -10.0 )
314 ( >= ( + buttons_y ( * -1.0 buttons_kid_5_y ) ) -10.0 )
315 ( <= ( + buttons_y ( * -1.0 buttons_kid_6_y ) ( * -1.0 buttons_kid_6_hight ) ) -40.0 )
316 ( >= ( + buttons_y ( * -1.0 buttons_kid_6_y ) ( * -1.0 buttons_kid_6_hight ) ) -40.0 )
317 ( <= ( + buttons_y ( * -1.0 buttons_kid_6_y ) ) -10.0 )
318 ( >= ( + buttons_y ( * -1.0 buttons_kid_6_y ) ) -10.0 )
319 ( <= ( + buttons_y ( * -1.0 buttons_kid_7_y ) ( * -1.0 buttons_kid_7_hight ) ) -40.0 )
320 ( >= ( + buttons_y ( * -1.0 buttons_kid_7_y ) ( * -1.0 buttons_kid_7_hight ) ) -40.0 )
321 ( <= ( + buttons_y ( * -1.0 buttons_kid_7_y ) ) -10.0 )
322 ( >= ( + buttons_y ( * -1.0 buttons_kid_7_y ) ) -10.0 )
323 ( <= ( + buttons_y ( * -1.0 buttons_kid_8_y ) ( * -1.0 buttons_kid_8_hight ) ) -40.0 )
324 ( >= ( + buttons_y ( * -1.0 buttons_kid_8_y ) ( * -1.0 buttons_kid_8_hight ) ) -40.0 )
325 ( <= ( + buttons_y ( * -1.0 buttons_kid_8_y ) ) -10.0 )
326 ( >= ( + buttons_y ( * -1.0 buttons_kid_8_y ) ) -10.0 )
327 ( <= ( + buttons_y ( * -1.0 buttons_kid_9_y ) ( * -1.0 buttons_kid_9_hight ) ) -40.0 )
328 ( >= ( + buttons_y ( * -1.0 buttons_kid_9_y ) ( * -1.0 buttons_kid_9_hight ) ) -40.0 )
329 ( <= ( + buttons_y ( * -1.0 buttons_kid_9_y ) ) -10.0 )
330 ( >= ( + buttons_y ( * -1.0 buttons_kid_9_y ) ) -10.0 )
331 ( <= ( + buttons_y ( * -1.0 buttons_kid_10_y ) ( * -1.0 buttons_kid_10_hight ) ) -40.0 )
332 ( >= ( + buttons_y ( * -1.0 buttons_kid_10_y ) ( * -1.0 buttons_kid_10_hight ) ) -40.0 )
333 ( <= ( + buttons_y ( * -1.0 buttons_kid_10_y ) ) -10.0 )
334 ( >= ( + buttons_y ( * -1.0 buttons_kid_10_y ) ) -10.0 )
335 ( <= ( + buttons_y ( * -1.0 buttons_kid_11_y ) ( * -1.0 buttons_kid_11_hight ) ) -40.0 )
336 ( >= ( + buttons_y ( * -1.0 buttons_kid_11_y ) ( * -1.0 buttons_kid_11_hight ) ) -40.0 )
337 ( <= ( + buttons_y ( * -1.0 buttons_kid_11_y ) ) -10.0 )
338 ( >= ( + buttons_y ( * -1.0 buttons_kid_11_y ) ) -10.0 )
339 ( <= ( + buttons_y ( * -1.0 buttons_kid_12_y ) ( * -1.0 buttons_kid_12_hight ) ) -40.0 )
340 ( >= ( + buttons_y ( * -1.0 buttons_kid_12_y ) ( * -1.0 buttons_kid_12_hight ) ) -40.0 )
341 ( <= ( + buttons_y ( * -1.0 buttons_kid_12_y ) ) -10.0 )
342 ( >= ( + buttons_y ( * -1.0 buttons_kid_12_y ) ) -10.0 )
343 ( <= ( + buttons_y ( * -1.0 buttons_kid_13_y ) ( * -1.0 buttons_kid_13_hight ) ) -40.0 )
344 ( >= ( + buttons_y ( * -1.0 buttons_kid_13_y ) ( * -1.0 buttons_kid_13_hight ) ) -40.0 )
345 ( <= ( + buttons_y ( * -1.0 buttons_kid_13_y ) ) -10.0 )
346 ( >= ( + buttons_y ( * -1.0 buttons_kid_13_y ) ) -10.0 )
347 ( <= ( + buttons_y ( * -1.0 buttons_kid_14_y ) ( * -1.0 buttons_kid_14_hight ) ) -40.0 )
348 ( >= ( + buttons_y ( * -1.0 buttons_kid_14_y ) ( * -1.0 buttons_kid_14_hight ) ) -40.0 )
349 ( <= ( + buttons_y ( * -1.0 buttons_kid_14_y ) ) -10.0 )
350 ( >= ( + buttons_y ( * -1.0 buttons_kid_14_y ) ) -10.0 )
351 ( <= ( + buttons_y ( * -1.0 buttons_kid_15_y ) ( * -1.0 buttons_kid_15_hight ) ) -40.0 )
352 ( >= ( + buttons_y ( * -1.0 buttons_kid_15_y ) ( * -1.0 buttons_kid_15_hight ) ) -40.0 )
353 ( <= ( + buttons_y ( * -1.0 buttons_kid_15_y ) ) -10.0 )
354 ( >= ( + buttons_y ( * -1.0 buttons_kid_15_y ) ) -10.0 )
355 ( <= ( + buttons_y ( * -1.0 buttons_kid_16_y ) ( * -1.0 buttons_kid_16_hight ) ) -40.0 )
356 ( >= ( + buttons_y ( * -1.0 buttons_kid_16_y ) ( * -1.0 buttons_kid_16_hight ) ) -40.0 )
357 ( <= ( + buttons_y ( * -1.0 buttons_kid_16_y ) ) -10.0 )
358 ( >= ( + buttons_y ( * -1.0 buttons_kid_16_y ) ) -10.0 )
359 ( <= ( + buttons_kid_1_x ( * -1.0 buttons_kid_0_x ) ) 110.0 )
360 ( >= ( + buttons_kid_1_x ( * -1.0 buttons_kid_0_x ) ) 110.0 )
361 ( <= ( + buttons_kid_2_x ( * -1.0 buttons_kid_1_x ) ) 110.0 )
362 ( >= ( + buttons_kid_2_x ( * -1.0 buttons_kid_1_x ) ) 110.0 )
363 ( <= ( + buttons_kid_3_x ( * -1.0 buttons_kid_2_x ) ) 110.0 )
364 ( >= ( + buttons_kid_3_x ( * -1.0 buttons_kid_2_x ) ) 110.0 )
365 ( <= ( + buttons_kid_4_x ( * -1.0 buttons_kid_3_x ) ) 110.0 )
366 ( >= ( + buttons_kid_4_x ( * -1.0 buttons_kid_3_x ) ) 110.0 )
367 ( <= ( + buttons_kid_5_x ( * -1.0 buttons_kid_4_x ) ) 110.0 )
368 ( >= ( + buttons_kid_5_x ( * -1.0 buttons_kid_4_x ) ) 110.0 )
369 ( <= ( + buttons_kid_6_x ( * -1.0 buttons_kid_5_x ) ) 110.0 )
370 ( >= ( + buttons_kid_6_x ( * -1.0 buttons_kid_5_x ) ) 110.0 )
371 ( <= ( + buttons_kid_7_x ( * -1.0 buttons_kid_6_x ) ) 110.0 )
372 ( >= ( + buttons_kid_7_x ( * -1.0 buttons_kid_6_x ) ) 110.0 )
373 ( <= ( + buttons_kid_8_x ( * -1.0 buttons_kid_7_x ) ) 110.0 )
374 ( >= ( + buttons_kid_8_x ( * -1.0 buttons_kid_7_x ) ) 110.0 )
375 ( <= ( + buttons_kid_9_x ( * -1.0 buttons_kid_8_x ) ) 110.0 )
376 ( >= ( + buttons_kid_9_x ( * -1.0 buttons_kid_8_x ) ) 110.0 )
377 ( <= ( + buttons_kid_10_x ( * -1.0 buttons_kid_9_x ) ) 110.0 )
378 ( >= ( + buttons_kid_10_x ( * -1.0 buttons_kid_9_x ) ) 110.0 )
379 ( <= ( + buttons_kid_11_x ( * -1.0 buttons_kid_10_x ) ) 110.0 )
380 ( >= ( + buttons_kid_11_x ( * -1.0 buttons_kid_10_x ) ) 110.0 )
381 ( <= ( + buttons_kid_12_x ( * -1.0 buttons_kid_11_x ) ) 110.0 )
382 ( >= ( + buttons_kid_12_x ( * -1.0 buttons_kid_11_x ) ) 110.0 )
383 ( <= ( + buttons_kid_13_x ( * -1.0 buttons_kid_12_x ) ) 110.0 )
384 ( >= ( + buttons_kid_13_x ( * -1.0 buttons_kid_12_x ) ) 110.0 )
385 ( <= ( + buttons_kid_14_x ( * -1.0 buttons_kid_13_x ) ) 110.0 )
386 ( >= ( + buttons_kid_14_x ( * -1.0 buttons_kid_13_x ) ) 110.0 )
387 ( <= ( + buttons_kid_15_x ( * -1.0 buttons_kid_14_x ) ) 110.0 )
388 ( >= ( + buttons_kid_15_x ( * -1.0 buttons_kid_14_x ) ) 110.0 )
389 ( <= ( + buttons_kid_16_x ( * -1.0 buttons_kid_15_x ) ) 110.0 )
390 ( >= ( + buttons_kid_16_x ( * -1.0 buttons_kid_15_x ) ) 110.0 )
391 buttons_kid_0_feasible
392 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_0_x ) ) 100.0 )
393 buttons_kid_1_feasible
394 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_1_x ) ) 100.0 )
395 buttons_kid_2_feasible
396 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_2_x ) ) 100.0 )
397 buttons_kid_3_feasible
398 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_3_x ) ) 100.0 )
399 buttons_kid_4_feasible
400 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_4_x ) ) 100.0 )
401 buttons_kid_5_feasible
402 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_5_x ) ) 100.0 )
403 buttons_kid_6_feasible
404 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_6_x ) ) 100.0 )
405 buttons_kid_7_feasible
406 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_7_x ) ) 100.0 )
407 buttons_kid_8_feasible
408 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_8_x ) ) 100.0 )
409 buttons_kid_9_feasible
410 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_9_x ) ) 100.0 )
411 buttons_kid_10_feasible
412 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_10_x ) ) 100.0 )
413 buttons_kid_11_feasible
414 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_11_x ) ) 100.0 )
415 buttons_kid_12_feasible
416 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_12_x ) ) 100.0 )
417 buttons_kid_13_feasible
418 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_13_x ) ) 100.0 )
419 buttons_kid_14_feasible
420 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_14_x ) ) 100.0 )
421 buttons_kid_15_feasible
422 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_15_x ) ) 100.0 )
423 buttons_kid_16_feasible
424 ( >= ( + buttons_width buttons_x ( * -1.0 buttons_kid_16_x ) ) 100.0 )
425 ( >= ads_top_holder_x 0.0 )
426 ( >= ads_top_holder_y 0.0 )
427 ( >= ads_top_holder_width 0.0 )
428 ( >= ads_top_holder_hight 0.0 )
429 ( >= ads_pics_holder_x 0.0 )
430 ( >= ads_pics_holder_y 0.0 )
431 ( >= ads_pics_holder_width 0.0 )
432 ( >= ads_pics_holder_hight 0.0 )
433 ( <= ( + ads_x ( * -1.0 ads_top_holder_x ) ) 0.0 )
434 ( >= ( + ads_x ads_width ( * -1.0 ads_top_holder_x ) ( * -1.0 ads_top_holder_width ) ) 0.0 )
435 ( >= ( + ads_top_holder_y ( * -1.0 ads_y ) ) 0.0 )
436 ( <= ( + ads_top_holder_y ads_top_holder_hight ( * -1.0 ads_y ) ( * -1.0 ads_hight ) ) 0.0 )
437 ( >= ( + ads_pics_holder_y ( * -1.0 ads_y ) ) 0.0 )
438 ( <= ( + ads_pics_holder_hight ads_pics_holder_y ( * -1.0 ads_y ) ( * -1.0 ads_hight ) ) 0.0 )
439 ( <= ( + ads_top_holder_y ads_top_holder_hight ( * -1.0 ads_pics_holder_y ) ) 0.0 )
440 ( >= ads_pics_x 0.0 )
441 ( >= ads_pics_y 0.0 )
442 ( >= ads_pics_width 0.0 )
443 ( >= ads_pics_hight 0.0 )
444 ( >= ads_pics_2_x 0.0 )
445 ( >= ads_pics_2_y 0.0 )
446 ( >= ads_pics_2_width 0.0 )
447 ( >= ads_pics_2_hight 0.0 )
448 ( >= ads_pics_3_x 0.0 )
449 ( >= ads_pics_3_y 0.0 )
450 ( >= ads_pics_3_width 0.0 )
451 ( >= ads_pics_3_hight 0.0 )
452 ads_pics_feasible
453 ( <= ( + ads_pics_x ( * -1.0 ads_pics_holder_x ) ) 0.0 )
454 ( >= ( + ads_pics_x ( * -1.0 ads_pics_holder_x ) ) 0.0 )
455 ( <= ( + ads_pics_holder_width ( * -1.0 ads_pics_x ) ( * -1.0 ads_pics_width ) ads_pics_holder_x ) 0.0 )
456 ( >= ( + ads_pics_holder_width ( * -1.0 ads_pics_x ) ( * -1.0 ads_pics_width ) ads_pics_holder_x ) 0.0 )
457 ( <= ( + ads_pics_y ( * -1.0 ads_pics_holder_y ) ) 0.0 )
458 ( >= ( + ads_pics_y ( * -1.0 ads_pics_holder_y ) ) 0.0 )
459 ( <= ( + ads_pics_y ads_pics_hight ( * -1.0 ads_pics_holder_hight ) ( * -1.0 ads_pics_holder_y ) ) 0.0 )
460 ( >= ( + ads_pics_y ads_pics_hight ( * -1.0 ads_pics_holder_hight ) ( * -1.0 ads_pics_holder_y ) ) 0.0 )
461 ads_pics_2_feasible
462 ( <= ( + ads_pics_2_x ( * -1.0 ads_pics_holder_x ) ) 0.0 )
463 ( >= ( + ads_pics_2_x ( * -1.0 ads_pics_holder_x ) ) 0.0 )
464 ( <= ( + ads_pics_2_x ads_pics_2_width ( * -1.0 ads_pics_holder_width ) ( * -1.0 ads_pics_holder_x ) ) 0.0 )
465 ( >= ( + ads_pics_2_x ads_pics_2_width ( * -1.0 ads_pics_holder_width ) ( * -1.0 ads_pics_holder_x ) ) 0.0 )
466 ( <= ( + ads_pics_2_y ( * -1.0 ads_pics_holder_y ) ) 0.0 )
467 ( >= ( + ads_pics_2_y ( * -1.0 ads_pics_holder_y ) ) 0.0 )
468 ( <= ( + ads_pics_2_hight ads_pics_2_y ( * -1.0 ads_pics_holder_hight ) ( * -1.0 ads_pics_holder_y ) ) 0.0 )
469 ( >= ( + ads_pics_2_hight ads_pics_2_y ( * -1.0 ads_pics_holder_hight ) ( * -1.0 ads_pics_holder_y ) ) 0.0 )
470 ads_pics_3_feasible
471 ( <= ( + ads_pics_holder_x ( * -1.0 ads_pics_3_x ) ) 0.0 )
472 ( >= ( + ads_pics_holder_x ( * -1.0 ads_pics_3_x ) ) 0.0 )
473 ( <= ( + ads_pics_holder_width ads_pics_holder_x ( * -1.0 ads_pics_3_x ) ( * -1.0 ads_pics_3_width ) ) 0.0 )
474 ( >= ( + ads_pics_holder_width ads_pics_holder_x ( * -1.0 ads_pics_3_x ) ( * -1.0 ads_pics_3_width ) ) 0.0 )
475 ( <= ( + ads_pics_holder_y ( * -1.0 ads_pics_3_y ) ) 0.0 )
476 ( >= ( + ads_pics_holder_y ( * -1.0 ads_pics_3_y ) ) 0.0 )
477 ( <= ( + ads_pics_holder_hight ads_pics_holder_y ( * -1.0 ads_pics_3_y ) ( * -1.0 ads_pics_3_hight ) ) 0.0 )
478 ( >= ( + ads_pics_holder_hight ads_pics_holder_y ( * -1.0 ads_pics_3_y ) ( * -1.0 ads_pics_3_hight ) ) 0.0 )
479 ( <= ( + ads_x ( * -1.0 ads_pics_holder_x ) ) -30.0 )
480 ( >= ( + ads_x ( * -1.0 ads_pics_holder_x ) ) -30.0 )
481 ( <= ( + ads_x ads_width ( * -1.0 ads_pics_holder_width ) ( * -1.0 ads_pics_holder_x ) ) 30.0 )
482 ( >= ( + ads_x ads_width ( * -1.0 ads_pics_holder_width ) ( * -1.0 ads_pics_holder_x ) ) 30.0 )
483 ( <= ( + ( * 3.0 ads_pics_holder_width ) ( * -10.0 ads_pics_holder_hight ) ) 0.0 )
484 ( >= ( + ( * 3.0 ads_pics_holder_width ) ( * -10.0 ads_pics_holder_hight ) ) 0.0 )
485 ( >= left_buttons_title_x 0.0 )
486 ( >= left_buttons_title_y 0.0 )
487 ( >= left_buttons_title_width 0.0 )
488 ( >= left_buttons_title_hight 0.0 )
489 ( >= left_buttons_watch_x 0.0 )
490 ( >= left_buttons_watch_y 0.0 )
491 ( >= left_buttons_detail_x 0.0 )
492 ( >= left_buttons_detail_y 0.0 )
493 ( >= ( + left_buttons_title_x ( * -1.0 ads_pics_x ) ) 0.0 )
494 ( <= ( + left_buttons_title_x left_buttons_title_width ( * -1.0 ads_pics_x ) ( * -1.0 ads_pics_width ) ) 0.0 )
495 ( >= ( + left_buttons_title_y ( * -1.0 ads_pics_y ) ) 0.0 )
496 ( <= ( + left_buttons_title_y left_buttons_title_hight ( * -1.0 ads_pics_y ) ( * -1.0 ads_pics_hight ) ) 0.0 )
497 ( >= ( + left_buttons_watch_x ( * -1.0 ads_pics_x ) ) 0.0 )
498 ( <= ( + left_buttons_watch_x ( * -1.0 ads_pics_x ) ( * -1.0 ads_pics_width ) ) -600.0 )
499 ( >= ( + left_buttons_watch_y ( * -1.0 ads_pics_y ) ) 0.0 )
500 ( <= ( + left_buttons_watch_y ( * -1.0 ads_pics_y ) ( * -1.0 ads_pics_hight ) ) -80.0 )
501 ( <= ( + ads_pics_x ( * -1.0 left_buttons_detail_x ) ) 0.0 )
502 ( >= ( + ads_pics_x ( * -1.0 left_buttons_detail_x ) ads_pics_width ) 130.0 )
503 ( >= ( + left_buttons_detail_y ( * -1.0 ads_pics_y ) ) 0.0 )
504 ( <= ( + left_buttons_detail_y ( * -1.0 ads_pics_y ) ( * -1.0 ads_pics_hight ) ) -60.0 )
505 ( >= ( + left_buttons_watch_y ( * -1.0 left_buttons_title_y ) ( * -1.0 left_buttons_title_hight ) ) 0.0 )
506 ( <= ( + left_buttons_watch_y left_buttons_watch_hight ( * -1.0 left_buttons_detail_y ) ) 0.0 )
507 ( <= ( + left_buttons_title_y left_buttons_detail_y ( * -2.0 ads_pics_y ) ( * -1.0 ads_pics_hight ) ) -60.0 )
508 ( >= ( + left_buttons_title_y left_buttons_detail_y ( * -2.0 ads_pics_y ) ( * -1.0 ads_pics_hight ) ) -60.0 )
509 ( <= ( + left_buttons_title_x ( * -1.0 ads_pics_x ) ) 40.0 )
510 ( >= ( + left_buttons_title_x ( * -1.0 ads_pics_x ) ) 40.0 )
511 ( <= ( + left_buttons_watch_x ( * -1.0 ads_pics_x ) ) 40.0 )
512 ( >= ( + left_buttons_watch_x ( * -1.0 ads_pics_x ) ) 40.0 )
513 ( <= ( + ads_pics_x ( * -1.0 left_buttons_detail_x ) ) -40.0 )
514 ( >= ( + ads_pics_x ( * -1.0 left_buttons_detail_x ) ) -40.0 )
515 ( <= ( + ( * 5.0 left_buttons_title_width ) ( * -2.0 ads_pics_holder_width ) ) 0.0 )
516 ( >= ( + ( * 5.0 left_buttons_title_width ) ( * -2.0 ads_pics_holder_width ) ) 0.0 )
517 ( <= ( + ( * 5.0 left_buttons_title_hight ) ( * -1.0 left_buttons_title_width ) ) 0.0 )
518 ( >= ( + ( * 5.0 left_buttons_title_hight ) ( * -1.0 left_buttons_title_width ) ) 0.0 )
519 ( <= left_buttons_watch_width 600.0 )
520 ( >= left_buttons_watch_width 600.0 )
521 ( <= left_buttons_watch_hight 80.0 )
522 ( >= left_buttons_watch_hight 80.0 )
523 ( <= ( + left_buttons_watch_y ( * -1.0 left_buttons_title_y ) ( * -1.0 left_buttons_title_hight ) ) 20.0 )
524 ( >= ( + left_buttons_watch_y ( * -1.0 left_buttons_title_y ) ( * -1.0 left_buttons_title_hight ) ) 20.0 )
525 ( <= left_buttons_detail_width 130.0 )
526 ( >= left_buttons_detail_width 130.0 )
527 ( <= left_buttons_detail_hight 60.0 )
528 ( >= left_buttons_detail_hight 60.0 )
529 ( >= ( + left_buttons_watch_y left_buttons_watch_hight ( * -1.0 left_buttons_detail_y ) ) 0.0 )
530 ( <= ( + ads_pics_2_x ( * -1.0 left_buttons_title_x ) ) 0.0 )
531 ( >= ( + ads_pics_2_x ( * -1.0 left_buttons_title_x ) ads_pics_2_width ( * -1.0 left_buttons_title_width ) ) 0.0 )
532 ( <= ( + ads_pics_2_y ( * -1.0 left_buttons_title_y ) ) 0.0 )
533 ( >= ( + ads_pics_2_hight ads_pics_2_y ( * -1.0 left_buttons_title_y ) ( * -1.0 left_buttons_title_hight ) ) 0.0 )
534 ( <= ( + ads_pics_2_x ( * -1.0 left_buttons_watch_x ) ) 0.0 )
535 ( >= ( + ads_pics_2_x ( * -1.0 left_buttons_watch_x ) ads_pics_2_width ) 600.0 )
536 ( >= ( + left_buttons_watch_y ( * -1.0 ads_pics_2_y ) ) 0.0 )
537 ( >= ( + ads_pics_2_hight ( * -1.0 left_buttons_watch_y ) ads_pics_2_y ) 80.0 )
538 ( <= ( + ads_pics_2_x ( * -1.0 left_buttons_title_x ) ) -40.0 )
539 ( >= ( + ads_pics_2_x ( * -1.0 left_buttons_title_x ) ) -40.0 )
540 ( <= ( + ads_pics_2_x ( * -1.0 left_buttons_watch_x ) ) -40.0 )
541 ( >= ( + ads_pics_2_x ( * -1.0 left_buttons_watch_x ) ) -40.0 )
542 ( <= ( + left_buttons_watch_y ( * -1.0 left_buttons_title_y ) ( * -1.0 left_buttons_title_hight ) ) 0.0 )
543 ( <= ( + ads_pics_2_hight ( * -1.0 left_buttons_watch_y ) ads_pics_2_y ) 80.0 )
544 ( >= ads_top_1_x 0.0 )
545 ( >= ads_top_1_y 0.0 )
546 ( >= ads_top_1_width 0.0 )
547 ( >= ads_top_2_x 0.0 )
548 ( >= ads_top_2_y 0.0 )
549 ( >= ads_top_2_width 0.0 )
550 ads_top_1_feasible
551 ( <= ( + ads_top_1_x ( * -1.0 ads_top_holder_x ) ) 0.0 )
552 ( >= ( + ads_top_1_x ( * -1.0 ads_top_holder_x ) ) 0.0 )
553 ( <= ( + ads_top_1_x ads_top_1_width ( * -1.0 ads_top_holder_x ) ( * -1.0 ads_top_holder_width ) ) 0.0 )
554 ( >= ( + ads_top_1_x ads_top_1_width ( * -1.0 ads_top_holder_x ) ( * -1.0 ads_top_holder_width ) ) 0.0 )
555 ( <= ( + ads_top_1_y ( * -1.0 ads_top_holder_y ) ) 0.0 )
556 ( >= ( + ads_top_1_y ( * -1.0 ads_top_holder_y ) ) 0.0 )
557 ( <= ( + ads_top_1_y ( * -1.0 ads_top_holder_y ) ( * -1.0 ads_top_holder_hight ) ) -50.0 )
558 ( >= ( + ads_top_1_y ( * -1.0 ads_top_holder_y ) ( * -1.0 ads_top_holder_hight ) ) -50.0 )
559 ads_top_2_feasible
560 ( <= ( + ads_top_2_x ( * -1.0 ads_top_holder_x ) ) 0.0 )
561 ( >= ( + ads_top_2_x ( * -1.0 ads_top_holder_x ) ) 0.0 )
562 ( <= ( + ads_top_2_x ads_top_2_width ( * -1.0 ads_top_holder_x ) ( * -1.0 ads_top_holder_width ) ) 0.0 )
563 ( >= ( + ads_top_2_x ads_top_2_width ( * -1.0 ads_top_holder_x ) ( * -1.0 ads_top_holder_width ) ) 0.0 )
564 ( <= ( + ads_top_2_y ( * -1.0 ads_top_holder_y ) ) 0.0 )
565 ( >= ( + ads_top_2_y ( * -1.0 ads_top_holder_y ) ) 0.0 )
566 ( <= ( + ads_top_2_y ( * -1.0 ads_top_holder_y ) ( * -1.0 ads_top_holder_hight ) ) -100.0 )
567 ( >= ( + ads_top_2_y ( * -1.0 ads_top_holder_y ) ( * -1.0 ads_top_holder_hight ) ) -100.0 )
568 ( >= prime_top_x 0.0 )
569 ( >= prime_top_y 0.0 )
570 ( >= prime_top_width 0.0 )
571 ( >= prime_top_hight 0.0 )
572 ( >= home_x 0.0 )
573 ( >= home_y 0.0 )
574 ( >= home_width 0.0 )
575 ( >= home_hight 0.0 )
576 ( >= store_x 0.0 )
577 ( >= store_y 0.0 )
578 ( >= store_width 0.0 )
579 ( >= store_hight 0.0 )
580 ( >= categories_x 0.0 )
581 ( >= categories_y 0.0 )
582 ( >= categories_width 0.0 )
583 ( >= categories_hight 0.0 )
584 ( >= ads_top_1_kid_4_x 0.0 )
585 ( >= ads_top_1_kid_4_y 0.0 )
586 ( >= ads_top_1_kid_4_width 0.0 )
587 ( >= ads_top_1_kid_4_hight 0.0 )
588 ( <= ( + ads_top_1_x ( * -1.0 prime_top_x ) ) -10.0 )
589 ( >= ( + ads_top_1_x ( * -1.0 prime_top_x ) ) -10.0 )
590 ( <= ( + ads_top_1_kid_4_width ( * -1.0 ads_top_1_x ) ( * -1.0 ads_top_1_width ) ads_top_1_kid_4_x ) -10.0 )
591 ( >= ( + ads_top_1_kid_4_width ( * -1.0 ads_top_1_x ) ( * -1.0 ads_top_1_width ) ads_top_1_kid_4_x ) -10.0 )
592 ( <= ( + ads_top_1_y ( * -1.0 prime_top_y ) ) -10.0 )
593 ( >= ( + ads_top_1_y ( * -1.0 prime_top_y ) ) -10.0 )
594 ( <= ( + ads_top_1_y ( * -1.0 home_y ) ) -10.0 )
595 ( >= ( + ads_top_1_y ( * -1.0 home_y ) ) -10.0 )
596 ( <= ( + ads_top_1_y ( * -1.0 store_y ) ) -10.0 )
597 ( >= ( + ads_top_1_y ( * -1.0 store_y ) ) -10.0 )
598 ( <= ( + ads_top_1_y ( * -1.0 categories_y ) ) -10.0 )
599 ( >= ( + ads_top_1_y ( * -1.0 categories_y ) ) -10.0 )
600 ( <= ( + ads_top_1_y ( * -1.0 ads_top_1_kid_4_y ) ) -10.0 )
601 ( >= ( + ads_top_1_y ( * -1.0 ads_top_1_kid_4_y ) ) -10.0 )
602 ( <= ( + ads_top_1_y ( * -1.0 prime_top_hight ) ( * -1.0 prime_top_y ) ) -40.0 )
603 ( >= ( + ads_top_1_y ( * -1.0 prime_top_hight ) ( * -1.0 prime_top_y ) ) -40.0 )
604 ( <= ( + ads_top_1_y ( * -1.0 home_y ) ( * -1.0 home_hight ) ) -40.0 )
605 ( >= ( + ads_top_1_y ( * -1.0 home_y ) ( * -1.0 home_hight ) ) -40.0 )
606 ( <= ( + ads_top_1_y ( * -1.0 store_y ) ( * -1.0 store_hight ) ) -40.0 )
607 ( >= ( + ads_top_1_y ( * -1.0 store_y ) ( * -1.0 store_hight ) ) -40.0 )
608 ( <= ( + ads_top_1_y ( * -1.0 categories_y ) ( * -1.0 categories_hight ) ) -40.0 )
609 ( >= ( + ads_top_1_y ( * -1.0 categories_y ) ( * -1.0 categories_hight ) ) -40.0 )
610 ( <= ( + ads_top_1_y ( * -1.0 ads_top_1_kid_4_y ) ( * -1.0 ads_top_1_kid_4_hight ) ) -40.0 )
611 ( >= ( + ads_top_1_y ( * -1.0 ads_top_1_kid_4_y ) ( * -1.0 ads_top_1_kid_4_hight ) ) -40.0 )
612 ( <= ( + prime_top_width ( * -1.0 home_x ) prime_top_x ) -30.0 )
613 ( >= ( + prime_top_width ( * -1.0 home_x ) prime_top_x ) -30.0 )
614 ( <= ( + home_width ( * -1.0 store_x ) home_x ) -30.0 )
615 ( >= ( + home_width ( * -1.0 store_x ) home_x ) -30.0 )
616 ( <= ( + store_width ( * -1.0 categories_x ) store_x ) -30.0 )
617 ( >= ( + store_width ( * -1.0 categories_x ) store_x ) -30.0 )
618 ( <= ( + categories_width ( * -1.0 ads_top_1_kid_4_x ) categories_x ) -30.0 )
619 ( >= ( + categories_width ( * -1.0 ads_top_1_kid_4_x ) categories_x ) -30.0 )
620 ( <= ( + prime_top_width ( * -1.0 ads_top_1_x ) ( * -1.0 ads_top_1_width ) prime_top_x ) -10.0 )
621 ( <= ( + ads_top_1_x ( * -1.0 home_x ) ) -10.0 )
622 ( <= ( + home_width ( * -1.0 ads_top_1_x ) ( * -1.0 ads_top_1_width ) home_x ) -10.0 )
623 ( <= ( + ads_top_1_x ( * -1.0 store_x ) ) -10.0 )
624 ( <= ( + store_width ( * -1.0 ads_top_1_x ) ( * -1.0 ads_top_1_width ) store_x ) -10.0 )
625 ( <= ( + ads_top_1_x ( * -1.0 categories_x ) ) -10.0 )
626 ( <= ( + categories_width ( * -1.0 ads_top_1_x ) ( * -1.0 ads_top_1_width ) categories_x ) -10.0 )
627 ( <= ( + ads_top_1_x ( * -1.0 ads_top_1_kid_4_x ) ) -10.0 )
628 ( <= ( + prime_top_width ( * -1.0 home_x ) prime_top_x ) 0.0 )
629 ( <= ( + home_width ( * -1.0 store_x ) home_x ) 0.0 )
630 ( <= ( + store_width ( * -1.0 categories_x ) store_x ) 0.0 )
631 ( <= ( + categories_width ( * -1.0 ads_top_1_kid_4_x ) categories_x ) 0.0 )
632 ( <= ( + ( * 2.0 ads_x ) ads_width ( * -2.0 ads_top_1_x ) ( * -1.0 ads_top_1_width ) ) 0.0 )
633 ( >= ( + ( * 2.0 ads_x ) ads_width ( * -2.0 ads_top_1_x ) ( * -1.0 ads_top_1_width ) ) 0.0 )
634 ( <= ads_top_1_hight 50.0 )
635 ( >= ads_top_1_hight 50.0 )
636 ( <= ( + prime_top_width ( * -1.0 home_width ) ) 0.0 )
637 ( >= ( + prime_top_width ( * -1.0 home_width ) ) 0.0 )
638 ( <= ( + prime_top_width ( * -1.0 store_width ) ) 0.0 )
639 ( >= ( + prime_top_width ( * -1.0 store_width ) ) 0.0 )
640 ( <= ( + prime_top_width ( * -1.0 categories_width ) ) 0.0 )
641 ( >= ( + prime_top_width ( * -1.0 categories_width ) ) 0.0 )
642 ( <= ( + prime_top_width ( * -1.0 ads_top_1_kid_4_width ) ) 0.0 )
643 ( >= ( + prime_top_width ( * -1.0 ads_top_1_kid_4_width ) ) 0.0 )
644 ( <= prime_top_width 100.0 )
645 ( >= prime_top_width 100.0 )
646 ( >= menus_x 0.0 )
647 ( >= menus_y 0.0 )
648 ( >= menus_width 0.0 )
649 ( >= menus_hight 0.0 )
650 ( >= homes_x 0.0 )
651 ( >= homes_y 0.0 )
652 ( >= homes_width 0.0 )
653 ( >= homes_hight 0.0 )
654 ( >= ( + menus_x ( * -1.0 ads_top_2_x ) ) 0.0 )
655 ( <= ( + menus_x menus_width ( * -1.0 ads_top_2_x ) ( * -1.0 ads_top_2_width ) ) 0.0 )
656 ( >= ( + menus_y ( * -1.0 ads_top_2_y ) ) 0.0 )
657 ( <= ( + menus_y menus_hight ( * -1.0 ads_top_2_y ) ( * -1.0 ads_top_2_hight ) ) 0.0 )
658 ( >= ( + homes_x ( * -1.0 ads_top_2_x ) ) 0.0 )
659 ( <= ( + homes_x homes_width ( * -1.0 ads_top_2_x ) ( * -1.0 ads_top_2_width ) ) 0.0 )
660 ( >= ( + homes_y ( * -1.0 ads_top_2_y ) ) 0.0 )
661 ( <= ( + homes_y homes_hight ( * -1.0 ads_top_2_y ) ( * -1.0 ads_top_2_hight ) ) 0.0 )
662 ( >= ( + homes_y ( * -1.0 menus_y ) ( * -1.0 menus_hight ) ) 0.0 )
663 ( <= ads_top_2_hight 100.0 )
664 ( >= ads_top_2_hight 100.0 )
665 ( <= ( + menus_x ( * -1.0 ads_top_2_x ) ) 0.0 )
666 ( <= ( + homes_x ( * -1.0 ads_top_2_x ) ) 0.0 )
667 ( >= ( + menus_x menus_width ( * -1.0 ads_top_2_x ) ( * -1.0 ads_top_2_width ) ) 0.0 )
668 ( >= ( + homes_x homes_width ( * -1.0 ads_top_2_x ) ( * -1.0 ads_top_2_width ) ) 0.0 )
669 ( <= ( + menus_y ( * -1.0 ads_top_2_y ) ) 0.0 )
670 ( >= ( + homes_y homes_hight ( * -1.0 ads_top_2_y ) ( * -1.0 ads_top_2_hight ) ) 0.0 )
671 ( <= ( + homes_y ( * -1.0 menus_y ) ( * -1.0 menus_hight ) ) 0.0 )
672 ( <= ( + homes_hight ( * -1.0 menus_hight ) ) 0.0 )
673 ( >= ( + homes_hight ( * -1.0 menus_hight ) ) 0.0 )
674 ( <= ( + ads_x ( * -1.0 ads_top_2_x ) ) 0.0 )
675 ( >= ( + ads_x ( * -1.0 ads_top_2_x ) ) 0.0 )
676 ( <= ( + ads_x ( * -1.0 ads_top_2_x ) ads_width ( * -1.0 ads_top_2_width ) ) 0.0 )
677 ( >= ( + ads_x ( * -1.0 ads_top_2_x ) ads_width ( * -1.0 ads_top_2_width ) ) 0.0 )
678 ( >= menus_kid_0_x 0.0 )
679 ( >= menus_kid_0_y 0.0 )
680 ( >= menus_kid_0_width 0.0 )
681 ( >= menus_kid_0_hight 0.0 )
682 ( >= menus_kid_1_x 0.0 )
683 ( >= menus_kid_1_y 0.0 )
684 ( >= menus_kid_1_width 0.0 )
685 ( >= menus_kid_1_hight 0.0 )
686 menus_feasible
687 ( <= ( + menus_x ( * -1.0 menus_kid_0_x ) ) -10.0 )
688 ( <= ( + menus_kid_0_width ( * -1.0 menus_x ) ( * -1.0 menus_width ) menus_kid_0_x ) -10.0 )
689 ( <= ( + menus_y ( * -1.0 menus_kid_0_y ) ) -10.0 )
690 ( >= ( + menus_y menus_hight ( * -1.0 menus_kid_0_hight ) ( * -1.0 menus_kid_0_y ) ) 10.0 )
691 ( >= ( + menus_kid_1_x ( * -1.0 menus_x ) ) 10.0 )
692 ( <= ( + menus_kid_1_width menus_kid_1_x ( * -1.0 menus_x ) ( * -1.0 menus_width ) ) -10.0 )
693 ( <= ( + menus_y ( * -1.0 menus_kid_1_y ) ) -10.0 )
694 ( >= ( + menus_y menus_hight ( * -1.0 menus_kid_1_y ) ( * -1.0 menus_kid_1_hight ) ) 10.0 )
695 ( <= ( + menus_kid_0_width ( * -1.0 menus_kid_1_x ) menus_kid_0_x ) 0.0 )
696 ( >= ( + menus_y ( * -1.0 menus_kid_0_y ) ) -10.0 )
697 ( <= ( + menus_y menus_hight ( * -1.0 menus_kid_0_hight ) ( * -1.0 menus_kid_0_y ) ) 10.0 )
698 ( >= ( + menus_y ( * -1.0 menus_kid_1_y ) ) -10.0 )
699 ( <= ( + menus_y menus_hight ( * -1.0 menus_kid_1_y ) ( * -1.0 menus_kid_1_hight ) ) 10.0 )
700 ( >= ( + menus_x ( * -1.0 menus_kid_0_x ) ) -10.0 )
701 ( <= ( + menus_kid_1_width ( * 2.0 menus_kid_1_x ) ( * -2.0 menus_x ) ( * -1.0 menus_width ) ) 0.0 )
702 ( >= ( + menus_kid_1_width ( * 2.0 menus_kid_1_x ) ( * -2.0 menus_x ) ( * -1.0 menus_width ) ) 0.0 )
703 ( <= ( + menus_kid_0_width ( * -1.0 menus_kid_1_width ) ) 0.0 )
704 ( >= ( + menus_kid_0_width ( * -1.0 menus_kid_1_width ) ) 0.0 )
705 ( <= menus_kid_0_width 100.0 )
706 ( >= menus_kid_0_width 100.0 )
707 ( >= homes_kid_0_x 0.0 )
708 ( >= homes_kid_0_y 0.0 )
709 ( >= homes_kid_0_width 0.0 )
710 ( >= homes_kid_0_hight 0.0 )
711 ( >= homes_kid_1_x 0.0 )
712 ( >= homes_kid_1_y 0.0 )
713 ( >= homes_kid_1_width 0.0 )
714 ( >= homes_kid_1_hight 0.0 )
715 ( >= homes_kid_2_x 0.0 )
716 ( >= homes_kid_2_y 0.0 )
717 ( >= homes_kid_2_width 0.0 )
718 ( >= homes_kid_2_hight 0.0 )
719 ( >= homes_kid_3_x 0.0 )
720 ( >= homes_kid_3_y 0.0 )
721 ( >= homes_kid_3_width 0.0 )
722 ( >= homes_kid_3_hight 0.0 )
723 homes_feasible
724 ( >= ( + homes_kid_0_x ( * -1.0 homes_x ) ) 10.0 )
725 ( <= ( + homes_kid_0_width homes_kid_0_x ( * -1.0 homes_x ) ( * -1.0 homes_width ) ) -10.0 )
726 ( <= ( + homes_y ( * -1.0 homes_kid_0_y ) ) -10.0 )
727 ( >= ( + homes_y homes_hight ( * -1.0 homes_kid_0_y ) ( * -1.0 homes_kid_0_hight ) ) 10.0 )
728 ( >= ( + homes_kid_1_x ( * -1.0 homes_x ) ) 10.0 )
729 ( <= ( + homes_kid_1_width homes_kid_1_x ( * -1.0 homes_x ) ( * -1.0 homes_width ) ) -10.0 )
730 ( <= ( + homes_y ( * -1.0 homes_kid_1_y ) ) -10.0 )
731 ( >= ( + homes_y homes_hight ( * -1.0 homes_kid_1_y ) ( * -1.0 homes_kid_1_hight ) ) 10.0 )
732 ( >= ( + homes_kid_2_x ( * -1.0 homes_x ) ) 10.0 )
733 ( <= ( + homes_kid_2_x homes_kid_2_width ( * -1.0 homes_x ) ( * -1.0 homes_width ) ) -10.0 )
734 ( <= ( + homes_y ( * -1.0 homes_kid_2_y ) ) -10.0 )
735 ( >= ( + homes_y homes_hight ( * -1.0 homes_kid_2_y ) ( * -1.0 homes_kid_2_hight ) ) 10.0 )
736 ( >= ( + homes_kid_3_x ( * -1.0 homes_x ) ) 10.0 )
737 ( <= ( + homes_kid_3_x ( * -1.0 homes_x ) homes_kid_3_width ( * -1.0 homes_width ) ) -10.0 )
738 ( <= ( + homes_y ( * -1.0 homes_kid_3_y ) ) -10.0 )
739 ( >= ( + homes_y homes_hight ( * -1.0 homes_kid_3_hight ) ( * -1.0 homes_kid_3_y ) ) 10.0 )
740 ( >= ( + homes_kid_1_x ( * -1.0 homes_kid_0_width ) ( * -1.0 homes_kid_0_x ) ) 0.0 )
741 ( >= ( + homes_kid_2_x ( * -1.0 homes_kid_1_width ) ( * -1.0 homes_kid_1_x ) ) 0.0 )
742 ( >= ( + homes_kid_3_x ( * -1.0 homes_kid_2_x ) ( * -1.0 homes_kid_2_width ) ) 0.0 )
743 ( <= ( + homes_kid_1_width ( * -1.0 homes_kid_0_width ) ) 0.0 )
744 ( >= ( + homes_kid_1_width ( * -1.0 homes_kid_0_width ) ) 0.0 )
745 ( <= ( + homes_kid_2_width ( * -1.0 homes_kid_0_width ) ) 0.0 )
746 ( >= ( + homes_kid_2_width ( * -1.0 homes_kid_0_width ) ) 0.0 )
747 ( <= ( + homes_kid_0_width ( * -1.0 homes_kid_3_width ) ) 0.0 )
748 ( >= ( + homes_kid_0_width ( * -1.0 homes_kid_3_width ) ) 0.0 )
749 ( <= homes_kid_0_width 100.0 )
750 ( >= homes_kid_0_width 100.0 )
751 ( >= ( + homes_y ( * -1.0 homes_kid_0_y ) ) -10.0 )
752 ( <= ( + homes_y homes_hight ( * -1.0 homes_kid_0_y ) ( * -1.0 homes_kid_0_hight ) ) 10.0 )
753 ( >= ( + homes_y ( * -1.0 homes_kid_1_y ) ) -10.0 )
754 ( <= ( + homes_y homes_hight ( * -1.0 homes_kid_1_y ) ( * -1.0 homes_kid_1_hight ) ) 10.0 )
755 ( >= ( + homes_y ( * -1.0 homes_kid_2_y ) ) -10.0 )
756 ( <= ( + homes_y homes_hight ( * -1.0 homes_kid_2_y ) ( * -1.0 homes_kid_2_hight ) ) 10.0 )
757 ( >= ( + homes_y ( * -1.0 homes_kid_3_y ) ) -10.0 )
758 ( <= ( + homes_y homes_hight ( * -1.0 homes_kid_3_hight ) ( * -1.0 homes_kid_3_y ) ) 10.0 )
759 ( <= ( + homes_kid_0_x ( * -1.0 homes_x ) ) 10.0 )
760 ( <= ( + homes_kid_1_x ( * -1.0 homes_kid_0_width ) ( * -1.0 homes_kid_0_x ) ) 10.0 )
761 ( >= ( + homes_kid_1_x ( * -1.0 homes_kid_0_width ) ( * -1.0 homes_kid_0_x ) ) 10.0 )
762 ( <= ( + homes_kid_2_x ( * -1.0 homes_kid_1_width ) ( * -1.0 homes_kid_1_x ) ) 10.0 )
763 ( >= ( + homes_kid_2_x ( * -1.0 homes_kid_1_width ) ( * -1.0 homes_kid_1_x ) ) 10.0 )
764 ( <= ( + homes_kid_3_x ( * -1.0 homes_kid_2_x ) ( * -1.0 homes_kid_2_width ) ) 10.0 )
765 ( >= ( + homes_kid_3_x ( * -1.0 homes_kid_2_x ) ( * -1.0 homes_kid_2_width ) ) 10.0 )
766 ( >= video_1_x 0.0 )
767 ( >= video_1_y 0.0 )
768 ( >= video_1_width 0.0 )
769 ( >= video_2_x 0.0 )
770 ( >= video_2_y 0.0 )
771 ( >= video_2_width 0.0 )
772 ( >= video_2_hight 0.0 )
773 ( >= video_3_x 0.0 )
774 ( >= video_3_y 0.0 )
775 ( >= video_3_width 0.0 )
776 ( >= video_3_hight 0.0 )
777 ( <= ( + video_2_y ( * -1.0 video_1_y ) ( * -1.0 video_1_hight ) ) 20.0 )
778 ( >= ( + video_2_y ( * -1.0 video_1_y ) ( * -1.0 video_1_hight ) ) 20.0 )
779 ( <= ( + video_3_y ( * -1.0 video_2_hight ) ( * -1.0 video_2_y ) ) 20.0 )
780 ( >= ( + video_3_y ( * -1.0 video_2_hight ) ( * -1.0 video_2_y ) ) 20.0 )
781 ( <= ( + video_1_x ( * -1.0 mainbody_x ) ) 40.0 )
782 ( >= ( + video_1_x ( * -1.0 mainbody_x ) ) 40.0 )
783 ( <= ( + video_2_x ( * -1.0 mainbody_x ) ) 40.0 )
784 ( >= ( + video_2_x ( * -1.0 mainbody_x ) ) 40.0 )
785 ( <= ( + video_3_x ( * -1.0 mainbody_x ) ) 40.0 )
786 ( >= ( + video_3_x ( * -1.0 mainbody_x ) ) 40.0 )
787 ( <= ( + video_1_x video_1_width ( * -1.0 mainbody_x ) ( * -1.0 mainbody_width ) ) -40.0 )
788 ( >= ( + video_1_x video_1_width ( * -1.0 mainbody_x ) ( * -1.0 mainbody_width ) ) -40.0 )
789 ( <= ( + video_2_x video_2_width ( * -1.0 mainbody_x ) ( * -1.0 mainbody_width ) ) -40.0 )
790 ( >= ( + video_2_x video_2_width ( * -1.0 mainbody_x ) ( * -1.0 mainbody_width ) ) -40.0 )
791 ( <= ( + video_3_x video_3_width ( * -1.0 mainbody_x ) ( * -1.0 mainbody_width ) ) -40.0 )
792 ( >= ( + video_3_x video_3_width ( * -1.0 mainbody_x ) ( * -1.0 mainbody_width ) ) -40.0 )
793 ( <= ( + video_1_y ( * -1.0 mainbody_y ) ) 40.0 )
794 ( >= ( + video_1_y ( * -1.0 mainbody_y ) ) 40.0 )
795 ( <= ( + video_3_y video_3_hight ( * -1.0 mainbody_hight ) ( * -1.0 mainbody_y ) ) -40.0 )
796 ( >= ( + video_3_y video_3_hight ( * -1.0 mainbody_hight ) ( * -1.0 mainbody_y ) ) -40.0 )
797 ( <= ( + video_1_y ( * -1.0 mainbody_hight ) ( * -1.0 mainbody_y ) ) -240.0 )
798 ( >= ( + video_2_y ( * -1.0 mainbody_y ) ) 40.0 )
799 ( <= ( + video_2_hight video_2_y ( * -1.0 mainbody_hight ) ( * -1.0 mainbody_y ) ) -40.0 )
800 ( >= ( + video_3_y ( * -1.0 mainbody_y ) ) 40.0 )
801 ( <= ( + video_2_hight ( * -1.0 video_1_hight ) ) 0.0 )
802 ( >= ( + video_2_hight ( * -1.0 video_1_hight ) ) 0.0 )
803 ( <= ( + video_3_hight ( * -1.0 video_1_hight ) ) 0.0 )
804 ( >= ( + video_3_hight ( * -1.0 video_1_hight ) ) 0.0 )
805 ( <= video_1_hight 200.0 )
806 ( >= video_1_hight 200.0 )
807 ( >= video_1_title_x 0.0 )
808 ( >= video_1_title_y 0.0 )
809 ( >= video_1_body_x 0.0 )
810 ( >= video_1_body_y 0.0 )
811 ( >= video_1_body_width 0.0 )
812 ( >= video_1_body_hight 0.0 )
813 ( <= ( + video_1_body_y ( * -1.0 video_1_title_y ) ) 60.0 )
814 ( >= ( + video_1_body_y ( * -1.0 video_1_title_y ) ) 60.0 )
815 ( >= ( + video_1_x video_1_width ( * -1.0 video_1_title_x ) ) 400.0 )
816 ( >= ( + video_1_y video_1_hight ( * -1.0 video_1_title_y ) ) 50.0 )
817 ( >= ( + video_1_body_y ( * -1.0 video_1_y ) ) 0.0 )
818 ( <= ( + video_1_x ( * -1.0 video_1_title_x ) ) 0.0 )
819 ( >= ( + video_1_x ( * -1.0 video_1_title_x ) ) 0.0 )
820 ( <= ( + video_1_body_x ( * -1.0 video_1_x ) ) 0.0 )
821 ( >= ( + video_1_body_x ( * -1.0 video_1_x ) ) 0.0 )
822 ( <= ( + video_1_y ( * -1.0 video_1_title_y ) ) 0.0 )
823 ( >= ( + video_1_y ( * -1.0 video_1_title_y ) ) 0.0 )
824 ( <= ( + video_1_body_y video_1_body_hight ( * -1.0 video_1_y ) ( * -1.0 video_1_hight ) ) 0.0 )
825 ( >= ( + video_1_body_y video_1_body_hight ( * -1.0 video_1_y ) ( * -1.0 video_1_hight ) ) 0.0 )
826 ( <= video_1_title_width 400.0 )
827 ( >= video_1_title_width 400.0 )
828 ( <= video_1_title_hight 50.0 )
829 ( >= video_1_title_hight 50.0 )
830 ( >= video_1_body_kid_0_x 0.0 )
831 ( >= video_1_body_kid_0_y 0.0 )
832 ( >= video_1_body_kid_0_hight 0.0 )
833 ( >= video_1_body_kid_1_x 0.0 )
834 ( >= video_1_body_kid_1_y 0.0 )
835 ( >= video_1_body_kid_1_hight 0.0 )
836 ( >= video_1_body_kid_2_x 0.0 )
837 ( >= video_1_body_kid_2_y 0.0 )
838 ( >= video_1_body_kid_2_hight 0.0 )
839 ( >= video_1_body_kid_3_x 0.0 )
840 ( >= video_1_body_kid_3_y 0.0 )
841 ( >= video_1_body_kid_3_hight 0.0 )
842 ( >= video_1_body_kid_4_x 0.0 )
843 ( >= video_1_body_kid_4_y 0.0 )
844 ( >= video_1_body_kid_4_hight 0.0 )
845 ( >= video_1_body_kid_5_x 0.0 )
846 ( >= video_1_body_kid_5_y 0.0 )
847 ( >= video_1_body_kid_5_hight 0.0 )
848 ( >= video_1_body_kid_6_x 0.0 )
849 ( >= video_1_body_kid_6_y 0.0 )
850 ( >= video_1_body_kid_6_hight 0.0 )
851 ( <= video_1_body_kid_0_width 250.0 )
852 ( >= video_1_body_kid_0_width 250.0 )
853 ( <= video_1_body_kid_1_width 250.0 )
854 ( >= video_1_body_kid_1_width 250.0 )
855 ( <= video_1_body_kid_2_width 250.0 )
856 ( >= video_1_body_kid_2_width 250.0 )
857 ( <= video_1_body_kid_3_width 250.0 )
858 ( >= video_1_body_kid_3_width 250.0 )
859 ( <= video_1_body_kid_4_width 250.0 )
860 ( >= video_1_body_kid_4_width 250.0 )
861 ( <= video_1_body_kid_5_width 250.0 )
862 ( >= video_1_body_kid_5_width 250.0 )
863 ( <= video_1_body_kid_6_width 250.0 )
864 ( >= video_1_body_kid_6_width 250.0 )
865 ( <= ( + video_1_body_width video_1_body_x ( * -1.0 video_1_x ) ( * -1.0 video_1_width ) ) 0.0 )
866 ( >= ( + video_1_body_width video_1_body_x ( * -1.0 video_1_x ) ( * -1.0 video_1_width ) ) 0.0 )
867 ( <= ( + video_1_body_x ( * -1.0 video_1_body_kid_0_x ) ) 0.0 )
868 ( >= ( + video_1_body_x ( * -1.0 video_1_body_kid_0_x ) ) 0.0 )
869 ( <= ( + video_1_body_y ( * -1.0 video_1_body_kid_0_y ) ) 0.0 )
870 ( >= ( + video_1_body_y ( * -1.0 video_1_body_kid_0_y ) ) 0.0 )
871 ( <= ( + video_1_body_y video_1_body_hight ( * -1.0 video_1_body_kid_0_y ) ( * -1.0 video_1_body_kid_0_hight ) ) 0.0 )
872 ( >= ( + video_1_body_y video_1_body_hight ( * -1.0 video_1_body_kid_0_y ) ( * -1.0 video_1_body_kid_0_hight ) ) 0.0 )
873 ( <= ( + video_1_body_y video_1_body_hight ( * -1.0 video_1_body_kid_1_y ) ( * -1.0 video_1_body_kid_1_hight ) ) 0.0 )
874 ( >= ( + video_1_body_y video_1_body_hight ( * -1.0 video_1_body_kid_1_y ) ( * -1.0 video_1_body_kid_1_hight ) ) 0.0 )
875 ( <= ( + video_1_body_y ( * -1.0 video_1_body_kid_1_y ) ) 0.0 )
876 ( >= ( + video_1_body_y ( * -1.0 video_1_body_kid_1_y ) ) 0.0 )
877 ( <= ( + video_1_body_y video_1_body_hight ( * -1.0 video_1_body_kid_2_y ) ( * -1.0 video_1_body_kid_2_hight ) ) 0.0 )
878 ( >= ( + video_1_body_y video_1_body_hight ( * -1.0 video_1_body_kid_2_y ) ( * -1.0 video_1_body_kid_2_hight ) ) 0.0 )
879 ( <= ( + video_1_body_y ( * -1.0 video_1_body_kid_2_y ) ) 0.0 )
880 ( >= ( + video_1_body_y ( * -1.0 video_1_body_kid_2_y ) ) 0.0 )
881 ( <= ( + video_1_body_y video_1_body_hight ( * -1.0 video_1_body_kid_3_y ) ( * -1.0 video_1_body_kid_3_hight ) ) 0.0 )
882 ( >= ( + video_1_body_y video_1_body_hight ( * -1.0 video_1_body_kid_3_y ) ( * -1.0 video_1_body_kid_3_hight ) ) 0.0 )
883 ( <= ( + video_1_body_y ( * -1.0 video_1_body_kid_3_y ) ) 0.0 )
884 ( >= ( + video_1_body_y ( * -1.0 video_1_body_kid_3_y ) ) 0.0 )
885 ( <= ( + video_1_body_y video_1_body_hight ( * -1.0 video_1_body_kid_4_y ) ( * -1.0 video_1_body_kid_4_hight ) ) 0.0 )
886 ( >= ( + video_1_body_y video_1_body_hight ( * -1.0 video_1_body_kid_4_y ) ( * -1.0 video_1_body_kid_4_hight ) ) 0.0 )
887 ( <= ( + video_1_body_y ( * -1.0 video_1_body_kid_4_y ) ) 0.0 )
888 ( >= ( + video_1_body_y ( * -1.0 video_1_body_kid_4_y ) ) 0.0 )
889 ( <= ( + video_1_body_y video_1_body_hight ( * -1.0 video_1_body_kid_5_y ) ( * -1.0 video_1_body_kid_5_hight ) ) 0.0 )
890 ( >= ( + video_1_body_y video_1_body_hight ( * -1.0 video_1_body_kid_5_y ) ( * -1.0 video_1_body_kid_5_hight ) ) 0.0 )
891 ( <= ( + video_1_body_y ( * -1.0 video_1_body_kid_5_y ) ) 0.0 )
892 ( >= ( + video_1_body_y ( * -1.0 video_1_body_kid_5_y ) ) 0.0 )
893 ( <= ( + video_1_body_kid_6_y ( * -1.0 video_1_body_y ) video_1_body_kid_6_hight ( * -1.0 video_1_body_hight ) ) 0.0 )
894 ( >= ( + video_1_body_kid_6_y ( * -1.0 video_1_body_y ) video_1_body_kid_6_hight ( * -1.0 video_1_body_hight ) ) 0.0 )
895 ( <= ( + video_1_body_kid_6_y ( * -1.0 video_1_body_y ) ) 0.0 )
896 ( >= ( + video_1_body_kid_6_y ( * -1.0 video_1_body_y ) ) 0.0 )
897 ( <= ( + video_1_body_kid_1_x ( * -1.0 video_1_body_kid_0_x ) ) 260.0 )
898 ( >= ( + video_1_body_kid_1_x ( * -1.0 video_1_body_kid_0_x ) ) 260.0 )
899 ( <= ( + video_1_body_kid_2_x ( * -1.0 video_1_body_kid_1_x ) ) 260.0 )
900 ( >= ( + video_1_body_kid_2_x ( * -1.0 video_1_body_kid_1_x ) ) 260.0 )
901 ( <= ( + video_1_body_kid_3_x ( * -1.0 video_1_body_kid_2_x ) ) 260.0 )
902 ( >= ( + video_1_body_kid_3_x ( * -1.0 video_1_body_kid_2_x ) ) 260.0 )
903 ( <= ( + video_1_body_kid_4_x ( * -1.0 video_1_body_kid_3_x ) ) 260.0 )
904 ( >= ( + video_1_body_kid_4_x ( * -1.0 video_1_body_kid_3_x ) ) 260.0 )
905 ( <= ( + video_1_body_kid_5_x ( * -1.0 video_1_body_kid_4_x ) ) 260.0 )
906 ( >= ( + video_1_body_kid_5_x ( * -1.0 video_1_body_kid_4_x ) ) 260.0 )
907 ( <= ( + video_1_body_kid_6_x ( * -1.0 video_1_body_kid_5_x ) ) 260.0 )
908 ( >= ( + video_1_body_kid_6_x ( * -1.0 video_1_body_kid_5_x ) ) 260.0 )
909 video_1_body_kid_0_feasible
910 ( >= ( + video_1_body_width video_1_body_x ( * -1.0 video_1_body_kid_0_x ) ) 250.0 )
911 video_1_body_kid_1_feasible
912 ( >= ( + video_1_body_width video_1_body_x ( * -1.0 video_1_body_kid_1_x ) ) 250.0 )
913 video_1_body_kid_2_feasible
914 ( >= ( + video_1_body_width video_1_body_x ( * -1.0 video_1_body_kid_2_x ) ) 250.0 )
915 video_1_body_kid_3_feasible
916 ( >= ( + video_1_body_width video_1_body_x ( * -1.0 video_1_body_kid_3_x ) ) 250.0 )
917 video_1_body_kid_4_feasible
918 ( >= ( + video_1_body_width video_1_body_x ( * -1.0 video_1_body_kid_4_x ) ) 250.0 )
919 video_1_body_kid_5_feasible
920 ( >= ( + video_1_body_width video_1_body_x ( * -1.0 video_1_body_kid_5_x ) ) 250.0 )
921 video_1_body_kid_6_feasible
922 ( >= ( + video_1_body_width ( * -1.0 video_1_body_kid_6_x ) video_1_body_x ) 250.0 )
923 ( >= video_2_title_x 0.0 )
924 ( >= video_2_title_y 0.0 )
925 ( >= video_2_body_x 0.0 )
926 ( >= video_2_body_y 0.0 )
927 ( >= video_2_body_width 0.0 )
928 ( >= video_2_body_hight 0.0 )
929 ( <= ( + video_2_body_y ( * -1.0 video_2_title_y ) ) 60.0 )
930 ( >= ( + video_2_body_y ( * -1.0 video_2_title_y ) ) 60.0 )
931 ( >= ( + video_2_x video_2_width ( * -1.0 video_2_title_x ) ) 400.0 )
932 ( >= ( + video_2_hight video_2_y ( * -1.0 video_2_title_y ) ) 50.0 )
933 ( >= ( + video_2_body_y ( * -1.0 video_2_y ) ) 0.0 )
934 ( <= ( + video_2_x ( * -1.0 video_2_title_x ) ) 0.0 )
935 ( >= ( + video_2_x ( * -1.0 video_2_title_x ) ) 0.0 )
936 ( <= ( + video_2_body_x ( * -1.0 video_2_x ) ) 0.0 )
937 ( >= ( + video_2_body_x ( * -1.0 video_2_x ) ) 0.0 )
938 ( <= ( + video_2_y ( * -1.0 video_2_title_y ) ) 0.0 )
939 ( >= ( + video_2_y ( * -1.0 video_2_title_y ) ) 0.0 )
940 ( <= ( + video_2_body_y video_2_body_hight ( * -1.0 video_2_hight ) ( * -1.0 video_2_y ) ) 0.0 )
941 ( >= ( + video_2_body_y video_2_body_hight ( * -1.0 video_2_hight ) ( * -1.0 video_2_y ) ) 0.0 )
942 ( <= video_2_title_width 400.0 )
943 ( >= video_2_title_width 400.0 )
944 ( <= video_2_title_hight 50.0 )
945 ( >= video_2_title_hight 50.0 )
946 ( >= video_2_body_kid_0_x 0.0 )
947 ( >= video_2_body_kid_0_y 0.0 )
948 ( >= video_2_body_kid_0_hight 0.0 )
949 ( >= video_2_body_kid_1_x 0.0 )
950 ( >= video_2_body_kid_1_y 0.0 )
951 ( >= video_2_body_kid_1_hight 0.0 )
952 ( >= video_2_body_kid_2_x 0.0 )
953 ( >= video_2_body_kid_2_y 0.0 )
954 ( >= video_2_body_kid_2_hight 0.0 )
955 ( >= video_2_body_kid_3_x 0.0 )
956 ( >= video_2_body_kid_3_y 0.0 )
957 ( >= video_2_body_kid_3_hight 0.0 )
958 ( >= video_2_body_kid_4_x 0.0 )
959 ( >= video_2_body_kid_4_y 0.0 )
960 ( >= video_2_body_kid_4_hight 0.0 )
961 ( >= video_2_body_kid_5_x 0.0 )
962 ( >= video_2_body_kid_5_y 0.0 )
963 ( >= video_2_body_kid_5_hight 0.0 )
964 ( >= video_2_body_kid_6_x 0.0 )
965 ( >= video_2_body_kid_6_y 0.0 )
966 ( >= video_2_body_kid_6_hight 0.0 )
967 ( <= video_2_body_kid_0_width 250.0 )
968 ( >= video_2_body_kid_0_width 250.0 )
969 ( <= video_2_body_kid_1_width 250.0 )
970 ( >= video_2_body_kid_1_width 250.0 )
971 ( <= video_2_body_kid_2_width 250.0 )
972 ( >= video_2_body_kid_2_width 250.0 )
973 ( <= video_2_body_kid_3_width 250.0 )
974 ( >= video_2_body_kid_3_width 250.0 )
975 ( <= video_2_body_kid_4_width 250.0 )
976 ( >= video_2_body_kid_4_width 250.0 )
977 ( <= video_2_body_kid_5_width 250.0 )
978 ( >= video_2_body_kid_5_width 250.0 )
979 ( <= video_2_body_kid_6_width 250.0 )
980 ( >= video_2_body_kid_6_width 250.0 )
981 ( <= ( + video_2_body_x video_2_body_width ( * -1.0 video_2_x ) ( * -1.0 video_2_width ) ) 0.0 )
982 ( >= ( + video_2_body_x video_2_body_width ( * -1.0 video_2_x ) ( * -1.0 video_2_width ) ) 0.0 )
983 ( <= ( + video_2_body_x ( * -1.0 video_2_body_kid_0_x ) ) 0.0 )
984 ( >= ( + video_2_body_x ( * -1.0 video_2_body_kid_0_x ) ) 0.0 )
985 ( <= ( + video_2_body_y ( * -1.0 video_2_body_kid_0_y ) ) 0.0 )
986 ( >= ( + video_2_body_y ( * -1.0 video_2_body_kid_0_y ) ) 0.0 )
987 ( <= ( + video_2_body_y video_2_body_hight ( * -1.0 video_2_body_kid_0_y ) ( * -1.0 video_2_body_kid_0_hight ) ) 0.0 )
988 ( >= ( + video_2_body_y video_2_body_hight ( * -1.0 video_2_body_kid_0_y ) ( * -1.0 video_2_body_kid_0_hight ) ) 0.0 )
989 ( <= ( + video_2_body_y video_2_body_hight ( * -1.0 video_2_body_kid_1_y ) ( * -1.0 video_2_body_kid_1_hight ) ) 0.0 )
990 ( >= ( + video_2_body_y video_2_body_hight ( * -1.0 video_2_body_kid_1_y ) ( * -1.0 video_2_body_kid_1_hight ) ) 0.0 )
991 ( <= ( + video_2_body_y ( * -1.0 video_2_body_kid_1_y ) ) 0.0 )
992 ( >= ( + video_2_body_y ( * -1.0 video_2_body_kid_1_y ) ) 0.0 )
993 ( <= ( + video_2_body_y video_2_body_hight ( * -1.0 video_2_body_kid_2_y ) ( * -1.0 video_2_body_kid_2_hight ) ) 0.0 )
994 ( >= ( + video_2_body_y video_2_body_hight ( * -1.0 video_2_body_kid_2_y ) ( * -1.0 video_2_body_kid_2_hight ) ) 0.0 )
995 ( <= ( + video_2_body_y ( * -1.0 video_2_body_kid_2_y ) ) 0.0 )
996 ( >= ( + video_2_body_y ( * -1.0 video_2_body_kid_2_y ) ) 0.0 )
997 ( <= ( + video_2_body_y video_2_body_hight ( * -1.0 video_2_body_kid_3_y ) ( * -1.0 video_2_body_kid_3_hight ) ) 0.0 )
998 ( >= ( + video_2_body_y video_2_body_hight ( * -1.0 video_2_body_kid_3_y ) ( * -1.0 video_2_body_kid_3_hight ) ) 0.0 )
999 ( <= ( + video_2_body_y ( * -1.0 video_2_body_kid_3_y ) ) 0.0 )
1000 ( >= ( + video_2_body_y ( * -1.0 video_2_body_kid_3_y ) ) 0.0 )
1001 ( <= ( + video_2_body_y video_2_body_hight ( * -1.0 video_2_body_kid_4_y ) ( * -1.0 video_2_body_kid_4_hight ) ) 0.0 )
1002 ( >= ( + video_2_body_y video_2_body_hight ( * -1.0 video_2_body_kid_4_y ) ( * -1.0 video_2_body_kid_4_hight ) ) 0.0 )
1003 ( <= ( + video_2_body_y ( * -1.0 video_2_body_kid_4_y ) ) 0.0 )
1004 ( >= ( + video_2_body_y ( * -1.0 video_2_body_kid_4_y ) ) 0.0 )
1005 ( <= ( + video_2_body_y video_2_body_hight ( * -1.0 video_2_body_kid_5_y ) ( * -1.0 video_2_body_kid_5_hight ) ) 0.0 )
1006 ( >= ( + video_2_body_y video_2_body_hight ( * -1.0 video_2_body_kid_5_y ) ( * -1.0 video_2_body_kid_5_hight ) ) 0.0 )
1007 ( <= ( + video_2_body_y ( * -1.0 video_2_body_kid_5_y ) ) 0.0 )
1008 ( >= ( + video_2_body_y ( * -1.0 video_2_body_kid_5_y ) ) 0.0 )
1009 ( <= ( + video_2_body_y ( * -1.0 video_2_body_kid_6_y ) video_2_body_hight ( * -1.0 video_2_body_kid_6_hight ) ) 0.0 )
1010 ( >= ( + video_2_body_y ( * -1.0 video_2_body_kid_6_y ) video_2_body_hight ( * -1.0 video_2_body_kid_6_hight ) ) 0.0 )
1011 ( <= ( + video_2_body_y ( * -1.0 video_2_body_kid_6_y ) ) 0.0 )
1012 ( >= ( + video_2_body_y ( * -1.0 video_2_body_kid_6_y ) ) 0.0 )
1013 ( <= ( + video_2_body_kid_1_x ( * -1.0 video_2_body_kid_0_x ) ) 260.0 )
1014 ( >= ( + video_2_body_kid_1_x ( * -1.0 video_2_body_kid_0_x ) ) 260.0 )
1015 ( <= ( + video_2_body_kid_2_x ( * -1.0 video_2_body_kid_1_x ) ) 260.0 )
1016 ( >= ( + video_2_body_kid_2_x ( * -1.0 video_2_body_kid_1_x ) ) 260.0 )
1017 ( <= ( + video_2_body_kid_3_x ( * -1.0 video_2_body_kid_2_x ) ) 260.0 )
1018 ( >= ( + video_2_body_kid_3_x ( * -1.0 video_2_body_kid_2_x ) ) 260.0 )
1019 ( <= ( + video_2_body_kid_4_x ( * -1.0 video_2_body_kid_3_x ) ) 260.0 )
1020 ( >= ( + video_2_body_kid_4_x ( * -1.0 video_2_body_kid_3_x ) ) 260.0 )
1021 ( <= ( + video_2_body_kid_5_x ( * -1.0 video_2_body_kid_4_x ) ) 260.0 )
1022 ( >= ( + video_2_body_kid_5_x ( * -1.0 video_2_body_kid_4_x ) ) 260.0 )
1023 ( <= ( + video_2_body_kid_6_x ( * -1.0 video_2_body_kid_5_x ) ) 260.0 )
1024 ( >= ( + video_2_body_kid_6_x ( * -1.0 video_2_body_kid_5_x ) ) 260.0 )
1025 video_2_body_kid_0_feasible
1026 ( >= ( + video_2_body_x video_2_body_width ( * -1.0 video_2_body_kid_0_x ) ) 250.0 )
1027 video_2_body_kid_1_feasible
1028 ( >= ( + video_2_body_x video_2_body_width ( * -1.0 video_2_body_kid_1_x ) ) 250.0 )
1029 video_2_body_kid_2_feasible
1030 ( >= ( + video_2_body_x video_2_body_width ( * -1.0 video_2_body_kid_2_x ) ) 250.0 )
1031 video_2_body_kid_3_feasible
1032 ( >= ( + video_2_body_x video_2_body_width ( * -1.0 video_2_body_kid_3_x ) ) 250.0 )
1033 video_2_body_kid_4_feasible
1034 ( >= ( + video_2_body_x video_2_body_width ( * -1.0 video_2_body_kid_4_x ) ) 250.0 )
1035 video_2_body_kid_5_feasible
1036 ( >= ( + video_2_body_x video_2_body_width ( * -1.0 video_2_body_kid_5_x ) ) 250.0 )
1037 video_2_body_kid_6_feasible
1038 ( >= ( + video_2_body_x ( * -1.0 video_2_body_kid_6_x ) video_2_body_width ) 250.0 )
1039 ( >= video_3_title_x 0.0 )
1040 ( >= video_3_title_y 0.0 )
1041 ( >= video_3_body_x 0.0 )
1042 ( >= video_3_body_y 0.0 )
1043 ( >= video_3_body_width 0.0 )
1044 ( >= video_3_body_hight 0.0 )
1045 ( <= ( + video_3_body_y ( * -1.0 video_3_title_y ) ) 60.0 )
1046 ( >= ( + video_3_body_y ( * -1.0 video_3_title_y ) ) 60.0 )
1047 ( >= ( + video_3_x video_3_width ( * -1.0 video_3_title_x ) ) 400.0 )
1048 ( >= ( + video_3_y video_3_hight ( * -1.0 video_3_title_y ) ) 50.0 )
1049 ( >= ( + video_3_body_y ( * -1.0 video_3_y ) ) 0.0 )
1050 ( <= ( + video_3_x ( * -1.0 video_3_title_x ) ) 0.0 )
1051 ( >= ( + video_3_x ( * -1.0 video_3_title_x ) ) 0.0 )
1052 ( <= ( + video_3_body_x ( * -1.0 video_3_x ) ) 0.0 )
1053 ( >= ( + video_3_body_x ( * -1.0 video_3_x ) ) 0.0 )
1054 ( <= ( + video_3_y ( * -1.0 video_3_title_y ) ) 0.0 )
1055 ( >= ( + video_3_y ( * -1.0 video_3_title_y ) ) 0.0 )
1056 ( <= ( + video_3_body_y video_3_body_hight ( * -1.0 video_3_y ) ( * -1.0 video_3_hight ) ) 0.0 )
1057 ( >= ( + video_3_body_y video_3_body_hight ( * -1.0 video_3_y ) ( * -1.0 video_3_hight ) ) 0.0 )
1058 ( <= video_3_title_width 400.0 )
1059 ( >= video_3_title_width 400.0 )
1060 ( <= video_3_title_hight 50.0 )
1061 ( >= video_3_title_hight 50.0 )
1062 ( >= video_3_body_kid_0_x 0.0 )
1063 ( >= video_3_body_kid_0_y 0.0 )
1064 ( >= video_3_body_kid_0_hight 0.0 )
1065 ( >= video_3_body_kid_1_x 0.0 )
1066 ( >= video_3_body_kid_1_y 0.0 )
1067 ( >= video_3_body_kid_1_hight 0.0 )
1068 ( >= video_3_body_kid_2_x 0.0 )
1069 ( >= video_3_body_kid_2_y 0.0 )
1070 ( >= video_3_body_kid_2_hight 0.0 )
1071 ( >= video_3_body_kid_3_x 0.0 )
1072 ( >= video_3_body_kid_3_y 0.0 )
1073 ( >= video_3_body_kid_3_hight 0.0 )
1074 ( >= video_3_body_kid_4_x 0.0 )
1075 ( >= video_3_body_kid_4_y 0.0 )
1076 ( >= video_3_body_kid_4_hight 0.0 )
1077 ( >= video_3_body_kid_5_x 0.0 )
1078 ( >= video_3_body_kid_5_y 0.0 )
1079 ( >= video_3_body_kid_5_hight 0.0 )
1080 ( >= video_3_body_kid_6_x 0.0 )
1081 ( >= video_3_body_kid_6_y 0.0 )
1082 ( >= video_3_body_kid_6_hight 0.0 )
1083 ( <= video_3_body_kid_0_width 250.0 )
1084 ( >= video_3_body_kid_0_width 250.0 )
1085 ( <= video_3_body_kid_1_width 250.0 )
1086 ( >= video_3_body_kid_1_width 250.0 )
1087 ( <= video_3_body_kid_2_width 250.0 )
1088 ( >= video_3_body_kid_2_width 250.0 )
1089 ( <= video_3_body_kid_3_width 250.0 )
1090 ( >= video_3_body_kid_3_width 250.0 )
1091 ( <= video_3_body_kid_4_width 250.0 )
1092 ( >= video_3_body_kid_4_width 250.0 )
1093 ( <= video_3_body_kid_5_width 250.0 )
1094 ( >= video_3_body_kid_5_width 250.0 )
1095 ( <= video_3_body_kid_6_width 250.0 )
1096 ( >= video_3_body_kid_6_width 250.0 )
1097 ( <= ( + video_3_body_x video_3_body_width ( * -1.0 video_3_x ) ( * -1.0 video_3_width ) ) 0.0 )
1098 ( >= ( + video_3_body_x video_3_body_width ( * -1.0 video_3_x ) ( * -1.0 video_3_width ) ) 0.0 )
1099 ( <= ( + video_3_body_x ( * -1.0 video_3_body_kid_0_x ) ) 0.0 )
1100 ( >= ( + video_3_body_x ( * -1.0 video_3_body_kid_0_x ) ) 0.0 )
1101 ( <= ( + video_3_body_y ( * -1.0 video_3_body_kid_0_y ) ) 0.0 )
1102 ( >= ( + video_3_body_y ( * -1.0 video_3_body_kid_0_y ) ) 0.0 )
1103 ( <= ( + video_3_body_y video_3_body_hight ( * -1.0 video_3_body_kid_0_y ) ( * -1.0 video_3_body_kid_0_hight ) ) 0.0 )
1104 ( >= ( + video_3_body_y video_3_body_hight ( * -1.0 video_3_body_kid_0_y ) ( * -1.0 video_3_body_kid_0_hight ) ) 0.0 )
1105 ( <= ( + video_3_body_y video_3_body_hight ( * -1.0 video_3_body_kid_1_y ) ( * -1.0 video_3_body_kid_1_hight ) ) 0.0 )
1106 ( >= ( + video_3_body_y video_3_body_hight ( * -1.0 video_3_body_kid_1_y ) ( * -1.0 video_3_body_kid_1_hight ) ) 0.0 )
1107 ( <= ( + video_3_body_y ( * -1.0 video_3_body_kid_1_y ) ) 0.0 )
1108 ( >= ( + video_3_body_y ( * -1.0 video_3_body_kid_1_y ) ) 0.0 )
1109 ( <= ( + video_3_body_y video_3_body_hight ( * -1.0 video_3_body_kid_2_y ) ( * -1.0 video_3_body_kid_2_hight ) ) 0.0 )
1110 ( >= ( + video_3_body_y video_3_body_hight ( * -1.0 video_3_body_kid_2_y ) ( * -1.0 video_3_body_kid_2_hight ) ) 0.0 )
1111 ( <= ( + video_3_body_y ( * -1.0 video_3_body_kid_2_y ) ) 0.0 )
1112 ( >= ( + video_3_body_y ( * -1.0 video_3_body_kid_2_y ) ) 0.0 )
1113 ( <= ( + video_3_body_y video_3_body_hight ( * -1.0 video_3_body_kid_3_y ) ( * -1.0 video_3_body_kid_3_hight ) ) 0.0 )
1114 ( >= ( + video_3_body_y video_3_body_hight ( * -1.0 video_3_body_kid_3_y ) ( * -1.0 video_3_body_kid_3_hight ) ) 0.0 )
1115 ( <= ( + video_3_body_y ( * -1.0 video_3_body_kid_3_y ) ) 0.0 )
1116 ( >= ( + video_3_body_y ( * -1.0 video_3_body_kid_3_y ) ) 0.0 )
1117 ( <= ( + video_3_body_y video_3_body_hight ( * -1.0 video_3_body_kid_4_y ) ( * -1.0 video_3_body_kid_4_hight ) ) 0.0 )
1118 ( >= ( + video_3_body_y video_3_body_hight ( * -1.0 video_3_body_kid_4_y ) ( * -1.0 video_3_body_kid_4_hight ) ) 0.0 )
1119 ( <= ( + video_3_body_y ( * -1.0 video_3_body_kid_4_y ) ) 0.0 )
1120 ( >= ( + video_3_body_y ( * -1.0 video_3_body_kid_4_y ) ) 0.0 )
1121 ( <= ( + video_3_body_y video_3_body_hight ( * -1.0 video_3_body_kid_5_y ) ( * -1.0 video_3_body_kid_5_hight ) ) 0.0 )
1122 ( >= ( + video_3_body_y video_3_body_hight ( * -1.0 video_3_body_kid_5_y ) ( * -1.0 video_3_body_kid_5_hight ) ) 0.0 )
1123 ( <= ( + video_3_body_y ( * -1.0 video_3_body_kid_5_y ) ) 0.0 )
1124 ( >= ( + video_3_body_y ( * -1.0 video_3_body_kid_5_y ) ) 0.0 )
1125 ( <= ( + video_3_body_y ( * -1.0 video_3_body_kid_6_y ) video_3_body_hight ( * -1.0 video_3_body_kid_6_hight ) ) 0.0 )
1126 ( >= ( + video_3_body_y ( * -1.0 video_3_body_kid_6_y ) video_3_body_hight ( * -1.0 video_3_body_kid_6_hight ) ) 0.0 )
1127 ( <= ( + video_3_body_y ( * -1.0 video_3_body_kid_6_y ) ) 0.0 )
1128 ( >= ( + video_3_body_y ( * -1.0 video_3_body_kid_6_y ) ) 0.0 )
1129 ( <= ( + video_3_body_kid_1_x ( * -1.0 video_3_body_kid_0_x ) ) 260.0 )
1130 ( >= ( + video_3_body_kid_1_x ( * -1.0 video_3_body_kid_0_x ) ) 260.0 )
1131 ( <= ( + video_3_body_kid_2_x ( * -1.0 video_3_body_kid_1_x ) ) 260.0 )
1132 ( >= ( + video_3_body_kid_2_x ( * -1.0 video_3_body_kid_1_x ) ) 260.0 )
1133 ( <= ( + video_3_body_kid_3_x ( * -1.0 video_3_body_kid_2_x ) ) 260.0 )
1134 ( >= ( + video_3_body_kid_3_x ( * -1.0 video_3_body_kid_2_x ) ) 260.0 )
1135 ( <= ( + video_3_body_kid_4_x ( * -1.0 video_3_body_kid_3_x ) ) 260.0 )
1136 ( >= ( + video_3_body_kid_4_x ( * -1.0 video_3_body_kid_3_x ) ) 260.0 )
1137 ( <= ( + video_3_body_kid_5_x ( * -1.0 video_3_body_kid_4_x ) ) 260.0 )
1138 ( >= ( + video_3_body_kid_5_x ( * -1.0 video_3_body_kid_4_x ) ) 260.0 )
1139 ( <= ( + video_3_body_kid_6_x ( * -1.0 video_3_body_kid_5_x ) ) 260.0 )
1140 ( >= ( + video_3_body_kid_6_x ( * -1.0 video_3_body_kid_5_x ) ) 260.0 )
1141 video_3_body_kid_0_feasible
1142 ( >= ( + video_3_body_x video_3_body_width ( * -1.0 video_3_body_kid_0_x ) ) 250.0 )
1143 video_3_body_kid_1_feasible
1144 ( >= ( + video_3_body_x video_3_body_width ( * -1.0 video_3_body_kid_1_x ) ) 250.0 )
1145 video_3_body_kid_2_feasible
1146 ( >= ( + video_3_body_x video_3_body_width ( * -1.0 video_3_body_kid_2_x ) ) 250.0 )
1147 video_3_body_kid_3_feasible
1148 ( >= ( + video_3_body_x video_3_body_width ( * -1.0 video_3_body_kid_3_x ) ) 250.0 )
1149 video_3_body_kid_4_feasible
1150 ( >= ( + video_3_body_x video_3_body_width ( * -1.0 video_3_body_kid_4_x ) ) 250.0 )
1151 video_3_body_kid_5_feasible
1152 ( >= ( + video_3_body_x video_3_body_width ( * -1.0 video_3_body_kid_5_x ) ) 250.0 )
1153 video_3_body_kid_6_feasible
1154 ( >= ( + video_3_body_x ( * -1.0 video_3_body_kid_6_x ) video_3_body_width ) 250.0 )
1155 ( >= back_to_top_x 0.0 )
1156 ( >= back_to_top_y 0.0 )
1157 ( >= back_to_top_hight 0.0 )
1158 ( >= ( + back_to_top_x ( * -1.0 info_x ) ) 0.0 )
1159 ( <= ( + back_to_top_x ( * -1.0 info_x ) ( * -1.0 info_width ) ) -200.0 )
1160 ( <= ( + back_to_top_y ( * -1.0 info_y ) back_to_top_hight ) 50.0 )
1161 ( <= ( + back_to_top_y ( * -1.0 info_y ) ) 0.0 )
1162 ( >= ( + back_to_top_y ( * -1.0 info_y ) ) 0.0 )
1163 ( >= ( + back_to_top_y ( * -1.0 info_y ) back_to_top_hight ) 50.0 )
1164 ( <= info_hight 50.0 )
1165 ( >= info_hight 50.0 )
1166 ( <= ( + ( * 2.0 back_to_top_x ) ( * -2.0 info_x ) ( * -1.0 info_width ) ) -200.0 )
1167 ( >= ( + ( * 2.0 back_to_top_x ) ( * -2.0 info_x ) ( * -1.0 info_width ) ) -200.0 )
1168 ( <= back_to_top_width 200.0 )
1169 ( >= back_to_top_width 200.0 )
1170 back_ground_feasible
1171 title_feasible
1172 ads_feasible
1173 mainbody_feasible
1174 info_feasible
1175 search_feasible
1176 buttons_feasible
1177 search_kid_0_feasible
1178 search_kid_1_feasible
1179 search_bar_feasible
1180 search_kid_3_feasible
1181 search_kid_4_feasible
1182 search_kid_5_feasible
1183 search_kid_6_feasible
1184 search_bar_kid_0_feasible
1185 search_bar_kid_1_feasible
1186 ads_top_holder_feasible
1187 ads_pics_holder_feasible
1188 left_buttons_title_feasible
1189 left_buttons_watch_feasible
1190 left_buttons_detail_feasible
1191 prime_top_feasible
1192 home_feasible
1193 store_feasible
1194 categories_feasible
1195 ads_top_1_kid_4_feasible
1196 menus_kid_0_feasible
1197 menus_kid_1_feasible
1198 homes_kid_0_feasible
1199 homes_kid_1_feasible
1200 homes_kid_2_feasible
1201 homes_kid_3_feasible
1202 video_1_feasible
1203 video_2_feasible
1204 video_3_feasible
1205 video_1_title_feasible
1206 video_1_body_feasible
1207 video_2_title_feasible
1208 video_2_body_feasible
1209 video_3_title_feasible
1210 video_3_body_feasible
1211 back_to_top_feasible
0
1273
( 1 )
( 2 )
( 3 )
( 4 )
( 5 )
( 6 )
( 7 )
( 8 )
( 9 )
( 10 )
( 11 )
( 12 )
( 13 )
( 14 )
( 15 )
( 16 )
( 17 )
( 18 )
( 19 )
( 20 )
( 21 )
( 22 )
( 23 )
( 24 )
( 25 )
( 26 )
( 27 )
( 28 )
( 29 )
( 30 )
( 31 )
( 32 )
( 33 )
( 34 )
( 35 )
( 36 )
( 37 )
( 38 )
( 39 )
( 40 )
( 41 )
( 42 )
( 43 )
( 44 )
( 45 )
( 46 )
( 47 )
( 48 )
( 49 )
( 50 )
( 51 )
( 52 )
( 22 )
( 29 )
( 53 )
( 54 )
( 55 )
( 56 )
( 57 )
( 58 )
( 59 )
( 60 )
( 61 )
( 62 )
( 63 )
( 64 )
( 65 )
( 66 )
( 67 )
( 68 )
( 69 )
( 70 )
( 71 )
( 72 )
( 73 )
( 74 )
( 75 )
( 76 )
( 77 )
( 78 )
( 79 )
( 68 )
( 80 )
( 81 )
( 82 )
( 83 )
( 84 )
( 85 )
( 86 )
( 87 )
( 88 )
( 89 )
( 90 )
( 91 )
( 92 )
( 93 )
( 94 )
( 95 )
( 96 )
( 97 )
( 98 )
( 99 )
( 100 )
( 101 )
( 102 )
( 103 )
( 104 )
( 105 )
( 106 )
( 107 )
( 108 )
( 109 )
( 110 )
( 111 )
( 112 )
( 113 )
( 114 )
( 115 )
( 116 )
( 117 )
( 118 )
( 119 )
( 120 )
( 121 )
( 122 )
( 123 )
( 124 )
( 125 )
( 126 )
( 127 )
( 128 )
( 129 )
( 130 )
( 131 )
( 132 )
( 133 )
( 134 )
( 135 )
( 136 )
( 137 )
( 138 )
( 139 )
( 140 )
( 141 )
( 142 )
( 143 )
( 144 )
( 145 )
( 146 )
( 147 )
( 148 )
( 149 )
( 150 )
( 151 )
( 152 )
( 153 )
( 154 )
( 155 )
( 156 )
( 157 )
( 158 )
( 159 )
( 160 )
( 161 )
( 162 )
( 163 )
( 164 )
( 165 )
( 166 )
( 167 )
( 168 )
( 169 )
( 170 )
( 171 )
( 172 )
( 173 )
( 174 )
( 175 )
( 176 )
( 177 )
( 178 )
( 179 )
( 180 )
( 181 )
( 182 )
( 183 )
( 184 )
( 185 )
( 186 )
( 187 )
( 188 )
( 189 )
( 190 )
( 191 )
( 192 )
( 193 )
( 194 )
( 195 )
( 196 )
( 197 )
( 198 )
( 199 )
( 200 )
( 201 )
( 202 )
( 203 )
( 204 )
( 205 )
( 206 )
( 207 )
( 208 )
( 209 )
( 210 )
( 211 )
( 212 )
( 213 )
( 214 )
( 215 )
( 216 )
( 217 )
( 218 )
( 219 )
( 220 )
( 221 )
( 222 )
( 223 )
( 224 )
( 225 )
( 226 )
( 227 )
( 228 )
( 229 )
( 230 )
( 231 )
( 232 )
( 233 )
( 234 )
( 235 )
( 236 )
( 237 )
( 238 )
( 239 )
( 240 )
( 241 )
( 242 )
( 243 )
( 244 )
( 245 )
( 246 )
( 247 )
( 248 )
( 249 )
( 250 )
( 251 )
( 252 )
( 253 )
( 254 )
( 255 )
( 256 )
( 257 )
( 258 )
( 259 )
( 260 )
( 261 )
( 262 )
( 263 )
( 264 )
( 265 )
( 266 )
( 267 )
( 268 )
( 269 )
( 270 )
( 271 )
( 272 )
( 273 )
( 274 )
( 275 )
( 276 )
( 277 )
( 278 )
( 279 )
( 280 )
( 281 )
( 282 )
( 283 )
( 284 )
( 285 )
( 286 )
( 287 )
( 288 )
( 289 )
( 290 )
( 291 )
( 292 )
( 293 )
( 294 )
( 295 )
( 296 )
( 297 )
( 298 )
( 299 )
( 300 )
( 301 )
( 302 )
( 303 )
( 304 )
( 305 )
( 306 )
( 307 )
( 308 )
( 309 )
( 310 )
( 311 )
( 312 )
( 313 )
( 314 )
( 315 )
( 316 )
( 317 )
( 318 )
( 319 )
( 320 )
( 321 )
( 322 )
( 323 )
( 324 )
( 325 )
( 326 )
( 327 )
( 328 )
( 329 )
( 330 )
( 331 )
( 332 )
( 333 )
( 334 )
( 335 )
( 336 )
( 337 )
( 338 )
( 339 )
( 340 )
( 341 )
( 342 )
( 343 )
( 344 )
( 345 )
( 346 )
( 347 )
( 348 )
( 349 )
( 350 )
( 351 )
( 352 )
( 353 )
( 354 )
( 355 )
( 356 )
( 357 )
( 358 )
( 359 )
( 360 )
( 361 )
( 362 )
( 363 )
( 364 )
( 365 )
( 366 )
( 367 )
( 368 )
( 369 )
( 370 )
( 371 )
( 372 )
( 373 )
( 374 )
( 375 )
( 376 )
( 377 )
( 378 )
( 379 )
( 380 )
( 381 )
( 382 )
( 383 )
( 384 )
( 385 )
( 386 )
( 387 )
( 388 )
( 389 )
( 390 )
( 391 -392 )
( -391 392 )
( 393 -394 )
( -393 394 )
( 395 -396 )
( -395 396 )
( 397 -398 )
( -397 398 )
( 399 -400 )
( -399 400 )
( 401 -402 )
( -401 402 )
( 403 -404 )
( -403 404 )
( 405 -406 )
( -405 406 )
( 407 -408 )
( -407 408 )
( 409 -410 )
( -409 410 )
( 411 -412 )
( -411 412 )
( 413 -414 )
( -413 414 )
( 415 -416 )
( -415 416 )
( 417 -418 )
( -417 418 )
( 419 -420 )
( -419 420 )
( 421 -422 )
( -421 422 )
( 423 -424 )
( -423 424 )
( 425 )
( 426 )
( 427 )
( 428 )
( 429 )
( 430 )
( 431 )
( 432 )
( 433 )
( 434 )
( 435 )
( 436 )
( 437 )
( 438 )
( 439 )
( 440 )
( 441 )
( 442 )
( 443 )
( 444 )
( 445 )
( 446 )
( 447 )
( 448 )
( 449 )
( 450 )
( 451 )
( -452 453 )
( -452 454 )
( -452 455 )
( -452 456 )
( -452 457 )
( -452 458 )
( -452 459 )
( -452 460 )
( -461 462 )
( -461 463 )
( -461 464 )
( -461 465 )
( -461 466 )
( -461 467 )
( -461 468 )
( -461 469 )
( -470 471 )
( -470 472 )
( -470 473 )
( -470 474 )
( -470 475 )
( -470 476 )
( -470 477 )
( -470 478 )
( 452 461 470 )
( -452 -461 )
( -452 -470 )
( -461 -470 )
( 479 )
( 480 )
( 481 )
( 482 )
( 483 )
( 484 )
( 485 )
( 486 )
( 487 )
( 488 )
( 489 )
( 490 )
( 491 )
( 492 )
( -452 493 )
( -452 494 )
( -452 495 )
( -452 496 )
( -452 497 )
( -452 498 )
( -452 499 )
( -452 500 )
( -452 501 )
( -452 502 )
( -452 503 )
( -452 504 )
( -452 505 )
( -452 506 )
( 507 )
( 508 )
( -452 509 )
( -452 510 )
( -452 511 )
( -452 512 )
( -452 513 )
( -452 514 )
( 515 )
( 516 )
( 517 )
( 518 )
( 519 )
( 520 )
( 521 )
( 522 )
( -452 523 )
( -452 524 )
( 525 )
( 526 )
( 527 )
( 528 )
( -452 506 )
( -452 529 )
( -461 530 )
( -461 531 )
( -461 532 )
( -461 533 )
( -461 534 )
( -461 535 )
( -461 536 )
( -461 537 )
( -461 505 )
( -461 538 )
( -461 539 )
( -461 540 )
( -461 541 )
( -461 542 )
( -461 505 )
( -461 543 )
( -461 537 )
( 544 )
( 545 )
( 546 )
( 547 )
( 548 )
( 549 )
( -550 551 )
( -550 552 )
( -550 553 )
( -550 554 )
( -550 555 )
( -550 556 )
( -550 557 )
( -550 558 )
( -559 560 )
( -559 561 )
( -559 562 )
( -559 563 )
( -559 564 )
( -559 565 )
( -559 566 )
( -559 567 )
( 550 559 )
( -550 -559 )
( 568 )
( 569 )
( 570 )
( 571 )
( 572 )
( 573 )
( 574 )
( 575 )
( 576 )
( 577 )
( 578 )
( 579 )
( 580 )
( 581 )
( 582 )
( 583 )
( 584 )
( 585 )
( 586 )
( 587 )
( -550 588 )
( -550 589 )
( -550 590 )
( -550 591 )
( -550 592 )
( -550 593 )
( -550 594 )
( -550 595 )
( -550 596 )
( -550 597 )
( -550 598 )
( -550 599 )
( -550 600 )
( -550 601 )
( -550 602 )
( -550 603 )
( -550 604 )
( -550 605 )
( -550 606 )
( -550 607 )
( -550 608 )
( -550 609 )
( -550 610 )
( -550 611 )
( -550 612 )
( -550 613 )
( -550 614 )
( -550 615 )
( -550 616 )
( -550 617 )
( -550 618 )
( -550 619 )
( -550 588 )
( -550 620 )
( -550 592 )
( -550 603 )
( -550 621 )
( -550 622 )
( -550 594 )
( -550 605 )
( -550 623 )
( -550 624 )
( -550 596 )
( -550 607 )
( -550 625 )
( -550 626 )
( -550 598 )
( -550 609 )
( -550 627 )
( -550 590 )
( -550 600 )
( -550 611 )
( -550 628 )
( -550 629 )
( -550 630 )
( -550 631 )
( -550 632 )
( -550 633 )
( 634 )
( 635 )
( -550 636 )
( -550 637 )
( -550 638 )
( -550 639 )
( -550 640 )
( -550 641 )
( -550 642 )
( -550 643 )
( -550 644 )
( -550 645 )
( 646 )
( 647 )
( 648 )
( 649 )
( 650 )
( 651 )
( 652 )
( 653 )
( -559 654 )
( -559 655 )
( -559 656 )
( -559 657 )
( -559 658 )
( -559 659 )
( -559 660 )
( -559 661 )
( -559 662 )
( 663 )
( 664 )
( -559 665 )
( -559 654 )
( -559 666 )
( -559 658 )
( -559 655 )
( -559 667 )
( -559 659 )
( -559 668 )
( -559 669 )
( -559 656 )
( -559 661 )
( -559 670 )
( -559 671 )
( -559 662 )
( -559 672 )
( -559 673 )
( 674 )
( 675 )
( 676 )
( 677 )
( 678 )
( 679 )
( 680 )
( 681 )
( 682 )
( 683 )
( 684 )
( 685 )
( -686 687 )
( -686 688 )
( -686 689 )
( -686 690 )
( -686 691 )
( -686 692 )
( -686 693 )
( -686 694 )
( -686 695 )
( -686 689 )
( -686 696 )
( -686 697 )
( -686 690 )
( -686 693 )
( -686 698 )
( -686 699 )
( -686 694 )
( -686 687 )
( -686 700 )
( -686 701 )
( -686 702 )
( -686 703 )
( -686 704 )
( -686 705 )
( -686 706 )
( 707 )
( 708 )
( 709 )
( 710 )
( 711 )
( 712 )
( 713 )
( 714 )
( 715 )
( 716 )
( 717 )
( 718 )
( 719 )
( 720 )
( 721 )
( 722 )
( -723 724 )
( -723 725 )
( -723 726 )
( -723 727 )
( -723 728 )
( -723 729 )
( -723 730 )
( -723 731 )
( -723 732 )
( -723 733 )
( -723 734 )
( -723 735 )
( -723 736 )
( -723 737 )
( -723 738 )
( -723 739 )
( -723 740 )
( -723 741 )
( -723 742 )
( -723 743 )
( -723 744 )
( -723 745 )
( -723 746 )
( -723 747 )
( -723 748 )
( -723 749 )
( -723 750 )
( -723 726 )
( -723 751 )
( -723 752 )
( -723 727 )
( -723 730 )
( -723 753 )
( -723 754 )
( -723 731 )
( -723 734 )
( -723 755 )
( -723 756 )
( -723 735 )
( -723 738 )
( -723 757 )
( -723 758 )
( -723 739 )
( -723 759 )
( -723 724 )
( -723 760 )
( -723 761 )
( -723 762 )
( -723 763 )
( -723 764 )
( -723 765 )
( 766 )
( 767 )
( 768 )
( 769 )
( 770 )
( 771 )
( 772 )
( 773 )
( 774 )
( 775 )
( 776 )
( 777 )
( 778 )
( 779 )
( 780 )
( 781 )
( 782 )
( 783 )
( 784 )
( 785 )
( 786 )
( 787 )
( 788 )
( 789 )
( 790 )
( 791 )
( 792 )
( 793 )
( 794 )
( 795 )
( 796 )
( 797 )
( 798 )
( 799 )
( 800 )
( 801 )
( 802 )
( 803 )
( 804 )
( 805 )
( 806 )
( 807 )
( 808 )
( 809 )
( 810 )
( 811 )
( 812 )
( 813 )
( 814 )
( 815 )
( 816 )
( 817 )
( 818 )
( 819 )
( 820 )
( 821 )
( 822 )
( 823 )
( 824 )
( 825 )
( 826 )
( 827 )
( 828 )
( 829 )
( 830 )
( 831 )
( 832 )
( 833 )
( 834 )
( 835 )
( 836 )
( 837 )
( 838 )
( 839 )
( 840 )
( 841 )
( 842 )
( 843 )
( 844 )
( 845 )
( 846 )
( 847 )
( 848 )
( 849 )
( 850 )
( 851 )
( 852 )
( 853 )
( 854 )
( 855 )
( 856 )
( 857 )
( 858 )
( 859 )
( 860 )
( 861 )
( 862 )
( 863 )
( 864 )
( 865 )
( 866 )
( 867 )
( 868 )
( 869 )
( 870 )
( 871 )
( 872 )
( 873 )
( 874 )
( 875 )
( 876 )
( 877 )
( 878 )
( 879 )
( 880 )
( 881 )
( 882 )
( 883 )
( 884 )
( 885 )
( 886 )
( 887 )
( 888 )
( 889 )
( 890 )
( 891 )
( 892 )
( 893 )
( 894 )
( 895 )
( 896 )
( 897 )
( 898 )
( 899 )
( 900 )
( 901 )
( 902 )
( 903 )
( 904 )
( 905 )
( 906 )
( 907 )
( 908 )
( 909 -910 )
( -909 910 )
( 911 -912 )
( -911 912 )
( 913 -914 )
( -913 914 )
( 915 -916 )
( -915 916 )
( 917 -918 )
( -917 918 )
( 919 -920 )
( -919 920 )
( 921 -922 )
( -921 922 )
( 923 )
( 924 )
( 925 )
( 926 )
( 927 )
( 928 )
( 929 )
( 930 )
( 931 )
( 932 )
( 933 )
( 934 )
( 935 )
( 936 )
( 937 )
( 938 )
( 939 )
( 940 )
( 941 )
( 942 )
( 943 )
( 944 )
( 945 )
( 946 )
( 947 )
( 948 )
( 949 )
( 950 )
( 951 )
( 952 )
( 953 )
( 954 )
( 955 )
( 956 )
( 957 )
( 958 )
( 959 )
( 960 )
( 961 )
( 962 )
( 963 )
( 964 )
( 965 )
( 966 )
( 967 )
( 968 )
( 969 )
( 970 )
( 971 )
( 972 )
( 973 )
( 974 )
( 975 )
( 976 )
( 977 )
( 978 )
( 979 )
( 980 )
( 981 )
( 982 )
( 983 )
( 984 )
( 985 )
( 986 )
( 987 )
( 988 )
( 989 )
( 990 )
( 991 )
( 992 )
( 993 )
( 994 )
( 995 )
( 996 )
( 997 )
( 998 )
( 999 )
( 1000 )
( 1001 )
( 1002 )
( 1003 )
( 1004 )
( 1005 )
( 1006 )
( 1007 )
( 1008 )
( 1009 )
( 1010 )
( 1011 )
( 1012 )
( 1013 )
( 1014 )
( 1015 )
( 1016 )
( 1017 )
( 1018 )
( 1019 )
( 1020 )
( 1021 )
( 1022 )
( 1023 )
( 1024 )
( 1025 -1026 )
( -1025 1026 )
( 1027 -1028 )
( -1027 1028 )
( 1029 -1030 )
( -1029 1030 )
( 1031 -1032 )
( -1031 1032 )
( 1033 -1034 )
( -1033 1034 )
( 1035 -1036 )
( -1035 1036 )
( 1037 -1038 )
( -1037 1038 )
( 1039 )
( 1040 )
( 1041 )
( 1042 )
( 1043 )
( 1044 )
( 1045 )
( 1046 )
( 1047 )
( 1048 )
( 1049 )
( 1050 )
( 1051 )
( 1052 )
( 1053 )
( 1054 )
( 1055 )
( 1056 )
( 1057 )
( 1058 )
( 1059 )
( 1060 )
( 1061 )
( 1062 )
( 1063 )
( 1064 )
( 1065 )
( 1066 )
( 1067 )
( 1068 )
( 1069 )
( 1070 )
( 1071 )
( 1072 )
( 1073 )
( 1074 )
( 1075 )
( 1076 )
( 1077 )
( 1078 )
( 1079 )
( 1080 )
( 1081 )
( 1082 )
( 1083 )
( 1084 )
( 1085 )
( 1086 )
( 1087 )
( 1088 )
( 1089 )
( 1090 )
( 1091 )
( 1092 )
( 1093 )
( 1094 )
( 1095 )
( 1096 )
( 1097 )
( 1098 )
( 1099 )
( 1100 )
( 1101 )
( 1102 )
( 1103 )
( 1104 )
( 1105 )
( 1106 )
( 1107 )
( 1108 )
( 1109 )
( 1110 )
( 1111 )
( 1112 )
( 1113 )
( 1114 )
( 1115 )
( 1116 )
( 1117 )
( 1118 )
( 1119 )
( 1120 )
( 1121 )
( 1122 )
( 1123 )
( 1124 )
( 1125 )
( 1126 )
( 1127 )
( 1128 )
( 1129 )
( 1130 )
( 1131 )
( 1132 )
( 1133 )
( 1134 )
( 1135 )
( 1136 )
( 1137 )
( 1138 )
( 1139 )
( 1140 )
( 1141 -1142 )
( -1141 1142 )
( 1143 -1144 )
( -1143 1144 )
( 1145 -1146 )
( -1145 1146 )
( 1147 -1148 )
( -1147 1148 )
( 1149 -1150 )
( -1149 1150 )
( 1151 -1152 )
( -1151 1152 )
( 1153 -1154 )
( -1153 1154 )
( 1155 )
( 1156 )
( 1157 )
( 1158 )
( 1159 )
( 1160 )
( 1161 )
( 1162 )
( 1160 )
( 1163 )
( 1164 )
( 1165 )
( 1166 )
( 1167 )
( 1168 )
( 1169 )
( 1170 )
( 1171 )
( 1172 )
( 1173 )
( 1174 )
( 1175 )
( 1176 )
( 1177 )
( 1178 )
( 1179 )
( 1180 )
( 1181 )
( 1182 )
( 1183 )
( 1184 )
( 1185 )
( 1186 )
( 1187 )
( -452 1188 )
( -461 1188 )
( 452 461 -1188 )
( -452 -461 -1188 )
( -452 1189 )
( -461 1189 )
( 452 461 -1189 )
( -452 -461 -1189 )
( 452 -1190 )
( -452 1190 )
( 550 -1191 )
( -550 1191 )
( 550 -1192 )
( -550 1192 )
( 550 -1193 )
( -550 1193 )
( 550 -1194 )
( -550 1194 )
( 550 -1195 )
( -550 1195 )
( 559 -686 )
( -559 686 )
( 559 -723 )
( -559 723 )
( 686 -1196 )
( -686 1196 )
( 686 -1197 )
( -686 1197 )
( 723 -1198 )
( -723 1198 )
( 723 -1199 )
( -723 1199 )
( 723 -1200 )
( -723 1200 )
( 723 -1201 )
( -723 1201 )
( 1202 )
( 1203 )
( 1204 )
( 1205 )
( 1206 )
( 1207 )
( 1208 )
( 1209 )
( 1210 )
( 1211 )
sat
